lib: add AAAA record for mailman hosts

[hcoop/domtool2.git] / configDefault / autodoc.cfg

diff --git a/configDefault/autodoc.cfg b/configDefault/autodoc.cfg
index 85af4c3..3fb2418 100644 (file)
--- a/configDefault/autodoc.cfg
+++ b/configDefault/autodoc.cfg
@@ -1,12 +1,12 @@
 structure Autodoc :> AUTODOC_CONFIG = struct
 
 val htmlHeader = fn title =>
-                   String.concat ["<div class=\"main\">\n<div class=\"title\">\n<img class=\"globe\" src=\"http://hcoop.net/globe.gif\" />\n<h1>",
+                   String.concat ["<div class=\"main\">\n<div class=\"title\">\n<img class=\"globe\" src=\"/globe.gif\" />\n<h1>",
                                   title,
                                   "</h1>\n</div>"]
 
 val htmlFooter = "</div>"
 
-val stylesheet = "http://hcoop.net/hcoop.css"
+val stylesheet = "/hcoop.css"
 
 end