[MLton-commit] r4237

[Stephen Weeks]

Changed a default.

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

U   mlton/trunk/bin/grab-wiki

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

Modified: mlton/trunk/bin/grab-wiki
===================================================================
--- mlton/trunk/bin/grab-wiki	2005-11-16 02:37:43 UTC (rev 4236)
+++ mlton/trunk/bin/grab-wiki	2005-11-16 03:47:54 UTC (rev 4237)
@@ -29,7 +29,7 @@
 index='.index'
 script='.script'
 tmp='.tmp'
-useLocal='true'
+useLocal='false'
 version=`date +%Y%m%d`
 
 cd "$src/doc/guide"