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

diff --git a/src/autodoc.sml b/src/autodoc.sml
index b642214..baa8d54 100644
--- a/src/autodoc.sml
+++ b/src/autodoc.sml
@@ -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