Include CONFIG_CORE signature in domtool.cfs and fix webbw build

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
+
+include CONFIG_CORE

diff --git a/src/stats/webbw.mlb b/src/stats/webbw.mlb
index cfc1dc8..d7ef6fd 100644 (file)
--- a/src/stats/webbw.mlb
+++ b/src/stats/webbw.mlb
@@ -2,6 +2,8 @@ $(SML_LIB)/basis/basis.mlb
 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
 
 ../configTypes.sml
+../../config/core/core.sig
+../../config/core/core.sml
 ../../configDefault/config.sig
 ../../configDefault/configDefault.sml
 ../../config.sml