release: 1.3.141

[lilypond.git] / stepmake / bin / add-html-footer.py

diff --git a/stepmake/bin/add-html-footer.py b/stepmake/bin/add-html-footer.py
index 984bbc7c10d105dc64e68ba804247551599a7165..a3aa23133abc566734081d90aada71c361e642f5 100644 (file)
--- a/stepmake/bin/add-html-footer.py
+++ b/stepmake/bin/add-html-footer.py
@@ -124,7 +124,7 @@ set_gcos ()
 localtime = time.strftime ('%c %Z', time.localtime (time.time ()))
 
 if os.path.basename (index_url) != "index.html":
-       index_url = index_url + "/index.html"
+       index_url = os.path.join (index_url , "index.html")
 top_url = os.path.dirname (index_url) + "/"
 
 header = compose (default_header, header_file)
@@ -172,8 +172,12 @@ def do_file (f):
        if os.path.basename (f) == "index.html":
                cwd = os.getcwd ()
                if os.path.basename (cwd) == "topdocs":
-                       index = "./index.html"
-                       top = "./"
+                       index = "index.html"
+                       top = ""
+
+               # don't cause ///////index.html entries in log files.
+               #       index = "./index.html"
+               #       top = "./"
 
        s = re.sub ('@INDEX@', index, s)
        s = re.sub ('@TOP@', top, s)