structure Mailman :> MAILMAN_CONFIG = struct val node = "deleuze" val mapFile = "/var/domtool/mailman.map" val reload = "cp /var/domtool/mailman.map /etc/mailman ; echo \"I would reload Mailman now.\"" (*"/etc/init.d/mailman reload"*) end