X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/ef18a74197873c2b319c57ff5dacb2a09e234d76..7e588778db0541c3583cd0ab71244b49bca4e05b:/src/autodoc.sml

diff --git a/src/autodoc.sml b/src/autodoc.sml
index 640012c..baa8d54 100644
--- a/src/autodoc.sml
+++ b/src/autodoc.sml
@@ -36,7 +36,7 @@ fun check' G fname =
 	if !ErrorMsg.anyErrors then
 	    G
 	else
-	    Tycheck.checkFile G (Defaults.tInit ()) prog
+	    Tycheck.checkFile G prog
     end
 
 fun autodoc {outdir, infiles} =
@@ -232,6 +232,8 @@ fun makeEmacsKeywords infiles =
 			      (case isAction evs t of
 				   SOME evs => (types, contexts, s :: actions, vals, evs)
 				 | NONE => (types, contexts, actions, s :: vals, evs))
+			    | DEnv (s, _, _) =>
+			      (types, contexts, actions, vals, StringSet.add (evs, s))
 			    | DContext s => (types, s :: contexts, actions, vals, evs))
 		      acc decls
 	    end
@@ -252,7 +254,8 @@ fun makeEmacsKeywords infiles =
 	printKind ("contexts", contexts);
 	printKind ("actions", actions);
 	printKind ("vals", vals);
-	printKind ("env-vars", StringSet.listItems evs)
+	printKind ("env-vars", StringSet.listItems evs);
+	print "(provide 'domtool-tables)\n"
     end
 
 end