Fix build (add_header should always return something!)

diff --git a/buildscripts/postprocess_html.py b/buildscripts/postprocess_html.py
index abe843a3c8050d39fda22c87c214bcce303d9edc..dde215e565a087e431fa32fac41a0d653f39bcdb 100644 (file)
--- a/buildscripts/postprocess_html.py
+++ b/buildscripts/postprocess_html.py
@@ -148,7 +148,7 @@ def add_header (s, prefix):
         if css_re.search (s) == None:
             depth = (prefix.count ('/') - 1) * '../'
             s = end_head_tag_re.sub ((css_link % depth) + '</head>', s)
-        return s
+    return s
 
 title_tag_re = re.compile ('.*?<title>(.*?)</title>', re.DOTALL)
 AT_web_title_re = re.compile ('@WEB-TITLE@')