From cd5ca23cdb8aab79e4bbfe2ca02eb8936c9df766 Mon Sep 17 00:00:00 2001 From: John Mandereau Date: Wed, 4 Feb 2009 09:29:36 +0100 Subject: [PATCH] Fix broken link to Developers Resources page (cherry picked from commit 8d404bfd21cc662be405ad06a3f391fac9d598ae) --- python/auxiliar/postprocess_html.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py index 2f8b532321..0da36236f5 100644 --- a/python/auxiliar/postprocess_html.py +++ b/python/auxiliar/postprocess_html.py @@ -123,7 +123,7 @@ def hack_urls (s, prefix): rel_link = re.sub (r'out-www/.*$', '', prefix) rel_link = re.sub (r'[^/]*/', '../', rel_link) if 'input/regression' in prefix: - indexfile = "Documentation/devel" + indexfile = "Documentation/devel/index" else: indexfile = "index" s = docindex_link_re.sub ('href="' + rel_link + indexfile + '.html\"', s) -- 2.39.5