X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6bb366c5a60247419dce5cbce4a5c034fa2f1e5c..c53e82e40cef407de986aa329d31457915ad0dbe:/src/autodoc.sml

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