X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8a7c40fa29ff18a437fcf4ee3f248a7aeb41c19c..3196000d8e29e14665f43ffd74460b2e6d592250:/src/domtool.cm diff --git a/src/domtool.cm b/src/domtool.cm index 7e4cb0a..f23f86d 100644 --- a/src/domtool.cm +++ b/src/domtool.cm @@ -3,7 +3,11 @@ Group is $/basis.cm $/smlnj-lib.cm $/ml-yacc-lib.cm +$/html-lib.cm $/pp-lib.cm +$c/internals/c-int.cm + +../openssl/smlnj/FFI/libssl.h.cm errormsg.sig errormsg.sml @@ -47,6 +51,13 @@ acl.sml slave.sig slave.sml +defaults.sig +defaults.sml + +msgTypes.sml +msg.sig +msg.sml + domain.sig domain.sml @@ -62,8 +73,23 @@ plugins/bind.sml plugins/apache.sig plugins/apache.sml +plugins/webalizer.sig +plugins/webalizer.sml + +plugins/mailman.sig +plugins/mailman.sml + order.sig order.sml +openssl.sig +openssl.sml + +htmlPrint.sig +htmlPrint.sml + +autodoc.sig +autodoc.sml + main.sig main.sml