X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ce01b51a0ad907253957a8ca9419cf2fbd42af91..c53e82e40cef407de986aa329d31457915ad0dbe:/src/autodoc.sml?ds=sidebyside

diff --git a/src/autodoc.sml b/src/autodoc.sml
index b342e6e..231a13e 100644
--- a/src/autodoc.sml
+++ b/src/autodoc.sml
@@ -41,7 +41,7 @@ fun check' G fname =
 
 fun autodoc {outdir, infiles} =
     let
-	val (prov, infiles) = Order.order infiles
+	val (prov, infiles) = Order.order NONE infiles
 	val _ = HtmlPrint.setProviders prov
 
 	val G = foldl (fn (fname, G) => check' G fname) Env.empty infiles