From 553547c8eb9230add2e67498e131ddf5357fe930 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Thu, 27 Feb 2014 08:05:32 +0100
Subject: [PATCH] doc postprocessing bug fix: update <title></title> of concept
 classes

---
 Documentation/html_output_post_processing.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Documentation/html_output_post_processing.py b/Documentation/html_output_post_processing.py
index 35abd1c79f8..113c491ee34 100755
--- a/Documentation/html_output_post_processing.py
+++ b/Documentation/html_output_post_processing.py
@@ -46,6 +46,8 @@ def conceptify(d):
     # fix the title
     title = d(".title")
     title.html(re.sub("((Class)|(Struct))( Template)? Reference", "Concept Reference", title.html()))
+    title = d("title")
+    title.html(re.sub("((Class)|(Struct))( Template)? Reference", "Concept Reference", title.html()))
     # remove the include
     include_statement = d(".contents").children().eq(0)
     # should check that this is really the div we think it is