[MLton-commit] r5850

[Matthew Fluet]

Updating wiki tool
----------------------------------------------------------------------

_U  tools/wiki/
U   tools/wiki/Makefile
U   tools/wiki/wiki.mlb

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


Property changes on: tools/wiki
___________________________________________________________________
Name: svn:ignore
   + wiki
wiki.sml


Modified: tools/wiki/Makefile
===================================================================
--- tools/wiki/Makefile	2007-08-13 00:07:28 UTC (rev 5849)
+++ tools/wiki/Makefile	2007-08-13 00:16:59 UTC (rev 5850)
@@ -1,4 +1,4 @@
 all: wiki
 
-wiki: $(shell mlton -stop f wiki.mlb)
-	mlton wiki.mlb
+wiki: $(shell mlton -mlb-path-map mlton-src-lib.map -stop f wiki.mlb)
+	mlton -mlb-path-map mlton-src-lib.map wiki.mlb

Modified: tools/wiki/wiki.mlb
===================================================================
--- tools/wiki/wiki.mlb	2007-08-13 00:07:28 UTC (rev 5849)
+++ tools/wiki/wiki.mlb	2007-08-13 00:16:59 UTC (rev 5850)
@@ -2,7 +2,7 @@
 $(MLTON_SRC_LIB)/basic/http.mlb
 
 ann
-   "sequenceUnit true"
+   "sequenceNonUnit error"
    "warnUnused true"
 in
    main.sml