domtool-doc: fake privs

[hcoop/domtool2.git] / src / main-doc.sml

diff --git a/src/main-doc.sml b/src/main-doc.sml
index f088f8b..f2b6eab 100644 (file)
--- a/src/main-doc.sml
+++ b/src/main-doc.sml
@@ -44,6 +44,8 @@ val _ =
                        files
     in
        Tycheck.allowExterns ();
+       Domain.declareClient ();
+       Domain.fakePrivileges ();
        if emacs then
            Autodoc.makeEmacsKeywords files
        else