+
+extern type mailman_web_node;
+{{Like <tt>web_node</tt>, but with the possibility of using some additional
+ nodes set by the admins.}}
+
+extern val mailman_web_node : mailman_web_node;
+{{The default location for Mailman web interfaces}}
+
+extern val mailman_web_node_to_node : mailman_web_node -> node;
+
+extern val mailmanVhost : host -> [Domain]
+ {MailmanWebNodes : [mailman_web_node],
+ SSL : ssl,
+ User : your_user};
+{{Create an Apache virtual host to serve as the web interface for some Mailman
+ lists.}}
+
+val mailman = \ host : (host) -> begin
+ dnsIP host (ip_of_node (mailman_web_node_to_node mailman_web_node));
+ domainHost host;
+ mwh <- Hostname;
+ mailmanWebHost mwh;
+ mailmanVhost host where
+ MailmanWebNodes = [mailman_web_node];
+ SSL = no_ssl
+ end;
+end;
+{{The most common Mailman config, for when you want to have a virtual host of your
+ domain dedicated to a Mailman interface. Provide the name of that host (e.g.,
+ "lists") to this directive, and it will take care of the rest.}}