[MLton-commit] r4760

[Matthew Fluet]

No need to chdir to $HOME, the default for cd.
Rather, chdir back to $dir.


----------------------------------------------------------------------

U   mlton/trunk/bin/make-pdf-guide

----------------------------------------------------------------------

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide	2006-10-23 23:41:06 UTC (rev 4759)
+++ mlton/trunk/bin/make-pdf-guide	2006-10-24 15:27:43 UTC (rev 4760)
@@ -132,6 +132,6 @@
 
 mv $pdf $src/doc/guide
 
-cd
+cd $dir
 
 rm -rf $tmp