Hawkin
/
arangodb
mirror of https://gitee.com/bigwinds/arangodb
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge branch 'devel' of github.com:triAGENS/ArangoDB into 1.2

This commit is contained in:
Frank Celler 2013-02-11 13:44:03 +01:00
parent 1443b79af9 d11c4fcd26
commit 3b311c97f7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Documentation/Scripts/html2html.sh
View File

@ -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