From eb3a1235e41081cace3d3989e1968ee06cd2e5d7 Mon Sep 17 00:00:00 2001
From: Reinhold Kainhofer <reinhold@kainhofer.com>
Date: Mon, 15 Sep 2008 13:56:16 +0200
Subject: [PATCH] Fix build (add_header should always return something!)

---
 buildscripts/postprocess_html.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildscripts/postprocess_html.py b/buildscripts/postprocess_html.py
index abe843a3c8..dde215e565 100644
--- 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@')
-- 
2.39.5