: run this
script throuh
/bin
/sh
# A script to pre-process files.
# a bit like ifdef in C compiler - but simpler.
# The idea is you put lines like
# in your file, this script will keep things enclosed in these
# whilst deleting all others.
0) echo "$0: Usage: $0 Definition [Defs...]" 1>&2; exit 1;;
trap "rm -f $tfile;exit" 1 2 15
echo '/%WARNING%/s//This file produced automatically, do not edit!/' > $tfile
echo "/%BEGIN(.*)%/,/%END(.*)%/d" >> $tfile