Fix broken link to one-big-page user manual in online docs

diff --git a/buildscripts/add_html_footer.py b/buildscripts/add_html_footer.py
index 2935d456cfcb1141a8b02f18fca4e814037927f9..a7bc7e11d97e6a7c732a06f7d5887bb67b659feb 100644 (file)
--- a/buildscripts/add_html_footer.py
+++ b/buildscripts/add_html_footer.py
@@ -125,9 +125,14 @@ def do_file (prefix, lang_ext, target, header, footer, pages_dict, out_root, nam
             # Strip .html, .png suffix for auto language selection (content
             # negotiation).  The menu must keep the full extension, so do
             # this before adding the menu.
-            page_flavors[file_name] = re.sub (
-                '''(href|src)=[\'"]([^/][.]*[^.:\'"]*)(.html|.png)(#[^"\']*|)[\'"]''',
-                '\\1="\\2\\4"', s)
+            # Don't strip .html suffix for documentation index because of
+            # lilypond/ vs. lilypond.html conflict
+            if prefix == 'Documentation/out-www/index':
+                page_flavors[file_name] = s
+            else:
+                page_flavors[file_name] = re.sub (
+                    '''(href|src)=[\'"]([^/][.]*[^.:\'"]*)(.html|.png)(#[^"\']*|)[\'"]''',
+                    '\\1="\\2\\4"', s)
         elif target == 'offline':
             if lang_ext == '':
                 page_flavors[file_name] = s