app: add html5 doctype

[hcoop/portal.git] / config.sig

diff --git a/config.sig b/config.sig
index a18551b..018b9f4 100644 (file)
--- a/config.sig
+++ b/config.sig
@@ -6,8 +6,13 @@ val emailSuffix : string
 val boardEmail : string
 val dbstring : string
 val kerberosSuffix : string
-val passwordFiles : string
-
 val passgenDbstring : string
+val statsRoot : string
+val staticFilesRoot : string
+
+val joinBannedEmailDomains : string list
+(* domains that may not be used in member applications, really
+rudimentary spam filtering for some persistent spammers that use the
+same two domains. *)
 
 end