autodoc: fix css and image paths to automatically use ssl

hcoop.net is ssl-only now and the css cannot be loaded from
http://. Use a relative path instead.

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 =>
 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>"
 
                                   title,
                                   "</h1>\n</div>"]
 
 val htmlFooter = "</div>"
 

-val stylesheet = "http://hcoop.net/hcoop.css"
+val stylesheet = "/hcoop.css"

 
 end
 
 end