[MLton-commit] r4776

[Stephen Weeks]

Eliminated unnecessary "cd".

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

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

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

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide	2006-10-25 22:21:03 UTC (rev 4775)
+++ mlton/trunk/bin/make-pdf-guide	2006-10-26 00:12:03 UTC (rev 4776)
@@ -132,6 +132,4 @@
 
 mv $pdf $src/doc/guide
 
-cd $dir
-
 rm -rf $tmp