Build: fix 1167.

I think it works.  It doesn't seem to mess up the offline build,
at least.  I'm not 100% certain about the exact url, but it
definitely changes the url, so I guess we'll just have to wait
until 2.13.30 to see if it really works or not?

diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py
index f327e4e393a474d2155e54fb7b8d4f026d0e6b21..9f25418cb02c9d5b6b36403de835cf8d1daf57ac 100644 (file)
--- a/python/auxiliar/postprocess_html.py
+++ b/python/auxiliar/postprocess_html.py
@@ -345,6 +345,16 @@ def process_html_files (package_name = '',
             s = s.replace ('%', '%%')
             s = hack_urls (s, prefix)
             s = add_header (s, prefix)
+            # make the "return to doc index" work with the online website.
+            if target == 'online':
+                if 'Documentation/contributor' in prefix:
+                    s = s.replace (
+                        'href=\"../..//Documentation/web/manuals.html\"',
+                        'href=\"../../../../website/development.html\"')
+                else:
+                    s = s.replace (
+                        'href=\"../..//Documentation/web/manuals.html\"',
+                        'href=\"../../../../website/manuals.html\"')
 
             ### add footer
             if footer_tag_re.search (s) == None: