From 5e040cd922e5cdae777d3a8a16fc9dd80d24a6ef Mon Sep 17 00:00:00 2001 From: Graham Percival Date: Fri, 27 Aug 2010 13:30:09 +0100 Subject: [PATCH] Build: another fix for 1167. Unstable docs now go to /development.html instead of /manuals.html --- python/auxiliar/postprocess_html.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py index 9f25418cb0..38e325e297 100644 --- 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\"') -- 2.39.5