fun autodoc {outdir, infiles} =
let
- val (prov, infiles) = Order.order infiles
- val _ = HtmlPrint.setProviders prov
+ val (prov, infiles) = Order.order NONE infiles
+ val _ = HtmlPrintArg.setProviders prov
val G = foldl (fn (fname, G) => check' G fname) Env.empty infiles