#!/bin/sh FULL_HTML=0 while [ "$#" -gt 0 ]; do case "$1" in --full-html) FULL_HTML=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 echo -n > $OUTPUT.tmp if test -n "$HEADER"; then echo $HEADER >> $OUTPUT.tmp 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:
\([^<]*\)
:

\1

:g' >> $OUTPUT.tmp if test -n "$FOOTER"; then echo $FOOTER >> $OUTPUT.tmp fi mv $OUTPUT.tmp $OUTPUT