From: Reinhold Kainhofer <reinhold@kainhofer.com>
Date: Mon, 6 Oct 2008 22:14:15 +0000 (+0200)
Subject: Docs: Fix links from topdocs to doc index
X-Git-Tag: release/2.11.62-1~20
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=859af947aa01431a1b717286eb08745216d942b4;p=lilypond.git

Docs: Fix links from topdocs to doc index
---

diff --git a/buildscripts/postprocess_html.py b/buildscripts/postprocess_html.py
index 8a569240fe..073e5c3ad2 100644
--- a/buildscripts/postprocess_html.py
+++ b/buildscripts/postprocess_html.py
@@ -115,12 +115,16 @@ def hack_urls (s, prefix):
         s = snippets_ref_re.sub ('href="source/input/lsr/lilypond-snippets', s)
     elif 'input/lsr' in prefix:
         s = user_ref_re.sub ('href="source/Documentation/user/lilypond\\1', s)
-    elif 'input/regression' in prefix:
+    elif 'input/regression' in prefix or 'Documentation/topdocs' in prefix:
         # fix the link from the regtest pages to the doc index (rewrite the prefix
         # name to obtain the relative path of the doc index page)
         rel_link = re.sub (r'out-www/.*$', '', prefix)
         rel_link = re.sub (r'[^/]*/', '../', rel_link)
-        s = docindex_link_re.sub ('href="' + rel_link + 'Documentation/devel.html\"', s)
+        if 'Documentation/topdocs' in prefix:
+            targetfile = "index"
+        else:
+            targetfile = "Documentation/devel"
+        s = docindex_link_re.sub ('href="' + rel_link + targetfile + '.html\"', s)
 
     source_path = os.path.join (os.path.dirname (prefix), 'source')
     if not os.path.islink (source_path):