#!/bin/sh INPUT="$1" OUTPUT="$2" if test -z "$INPUT" -o -z "$OUTPUT"; then echo "usage: $0 " exit 1 fi HEADER='AvocadoDB Manual

' FOOTER='

' sed -e "s~<\\?php include \"include/header.php\" \\?> ~${HEADER}~" $INPUT \ | sed -e "s~<\\?php include \"include/footer.php\" \\?> ~${FOOTER}~" \ | sed -e "s~

\$[^<]*\$

\\1

~" > $OUTPUT