From d11c4fcd26c22754609edb39d9487e33ca46eb90 Mon Sep 17 00:00:00 2001
From: Frank Celler <frank@arangodb.com>
Date: Mon, 11 Feb 2013 13:43:40 +0100
Subject: [PATCH] fixed wrong class-id

---
 Documentation/Scripts/html2html.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Documentation/Scripts/html2html.sh b/Documentation/Scripts/html2html.sh
index 72927e8bd1..274cef4689 100755
--- a/Documentation/Scripts/html2html.sh
+++ b/Documentation/Scripts/html2html.sh
@@ -53,7 +53,8 @@ cat $INPUT \
   | sed -e 's:<\(/*\)h4>:<\1h5>:g' \
   | sed -e 's:<\(/*\)h3>:<\1h4>:g' \
   | sed -e 's:<\(/*\)h2>:<\1h3>:g' \
-  | sed -e 's:<\(/*\)h1>:<\1h2>:g' >> $OUTPUT.tmp || exit 1
+  | sed -e 's:<\(/*\)h1>:<\1h2>:g' \
+  | sed -e 's:<span class="comment">:<span class="doxy-comment">:g' >> $OUTPUT.tmp || exit 1
 
 if test "x$KEEP_TITLE" == "x0";  then
   mv $OUTPUT.tmp $OUTPUT.tmp1 || exit 1