Include CONFIG_CORE signature in domtool.cfs and fix webbw build

[hcoop/domtool2.git] / configDefault / domtool.cfs

diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index 6d8622a..3424464 100644 (file)
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -57,3 +57,5 @@ val domtoolDir : string -> string
 val worldReadable : string list
 
 val publish_reusers : string
 val worldReadable : string list
 
 val publish_reusers : string

+
+include CONFIG_CORE