Build: another fix for 1167.

Unstable docs now go to /development.html instead of /manuals.html

diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py
index 9f25418cb02c9d5b6b36403de835cf8d1daf57ac..38e325e297835021380fe2ca8b4f349d7feb421d 100644 (file)
--- a/python/auxiliar/postprocess_html.py
+++ b/python/auxiliar/postprocess_html.py
@@ -347,7 +347,8 @@ def process_html_files (package_name = '',
             s = add_header (s, prefix)
             # make the "return to doc index" work with the online website.
             if target == 'online':
-                if 'Documentation/contributor' in prefix:
+                if (('Documentation/contributor' in prefix) or
+                    (int (versiontup[1]) %  2)):
                     s = s.replace (
                         'href=\"../..//Documentation/web/manuals.html\"',
                         'href=\"../../../../website/development.html\"')