domtool-mode patch from the inimitable clinton

[hcoop/domtool2.git] / src / autodoc.sml

diff --git a/src/autodoc.sml b/src/autodoc.sml
index 640012c..c64180d 100644 (file)
--- a/src/autodoc.sml
+++ b/src/autodoc.sml
@@ -252,7 +252,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