X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/87fedaf1820b1e4f8dcb12dbac29bfc641b18b18..421df4d714870f2aa1f54944c29884730973d098:/lib/hcoop.dtl

diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl
index d2e4673..3135462 100644
--- a/lib/hcoop.dtl
+++ b/lib/hcoop.dtl
@@ -1,5 +1,15 @@
 {{HCoop-specific stuff}}
 
-extern val home : string -> string
+extern type homedir_path;
+{{Some relative subdirectory of your home directory}}
+
+extern val home : homedir_path -> your_path;
 {{Shortcut to denote a subdirectory of your home directory}}
 
+extern val homeS : no_spaces -> no_spaces;
+{{Use this version when it doesn't matter if the output is a real filesystem
+  path.}}
+
+val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
+{{Configure your domain to have its Mailman mailing lists served on the web at
+  lists.hcoop.net.}}