#!/bin/sh FULL_HTML=0 KEEP_TITLE=0 while [ "$#" -gt 0 ]; do case "$1" in --full-html) FULL_HTML=1 ;; --keep-title) KEEP_TITLE=1 ;; --*) echo "$0: unknown option '$1'" exit 1 ;; *) INPUT="$1" shift OUTPUT="$1" ;; esac shift done if test -z "$INPUT" -o -z "$OUTPUT"; then echo "usage: $0 " exit 1 fi if test "x$FULL_HTML" = "x0"; then HEADER="" FOOTER="" else HEADER='ArangoDB: About ArangoDB
' FOOTER='
' fi rm -f $OUTPUT.tmp touch $OUTPUT.tmp || exit 1 if test -n "$HEADER"; then echo $HEADER >> $OUTPUT.tmp || exit 1 fi cat $INPUT \ | sed -e 's:<\(/*\)h5>:<\1h6>:g' \ | sed -e 's:<\(/*\)h4>:<\1h5>:g' \ | sed -e 's:<\(/*\)h3>:<\1h4>:g' \ | sed -e 's:<\(/*\)h2>:<\1h3>:g' \ | sed -e 's:<\(/*\)h1>:<\1h2>:g' \ | sed -e 's:::g' >> $OUTPUT.tmp || exit 1 if test "x$KEEP_TITLE" = "x0"; then mv $OUTPUT.tmp $OUTPUT.tmp1 || exit 1 sed -e 's:
\([^<]*\)
:

\1

:g' < $OUTPUT.tmp1 >> $OUTPUT.tmp || exit 1 rm $OUTPUT.tmp1 || exit 1 fi if test -n "$FOOTER"; then echo $FOOTER >> $OUTPUT.tmp || exit 1 fi mv $OUTPUT.tmp $OUTPUT || exit 1