Fix broken link to Developers Resources page

diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py
index 2f8b532321e6c8c75acd82fda5b4ece92e751ce7..0da36236f5b86859fe8cd863d330a7d8ad70013f 100644 (file)
--- 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)