[MLton-commit] r4231

Stephen Weeks MLton@mlton.org
Tue, 15 Nov 2005 15:55:59 -0800


Fixed accidental commit.

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

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

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

Modified: mlton/trunk/bin/make-pdf-guide
===================================================================
--- mlton/trunk/bin/make-pdf-guide	2005-11-15 23:38:37 UTC (rev 4230)
+++ mlton/trunk/bin/make-pdf-guide	2005-11-15 23:55:59 UTC (rev 4231)
@@ -133,4 +133,4 @@
 
 cd
 
-# rm -rf $tmp
+rm -rf $tmp