#!/bin/csh -f
./totex intro.doc   | expand > intro.tex
./totex builtin.doc | expand > builtin.tex
./totex module.doc  | expand > module.tex
./totex foreign.doc | expand > foreign.tex
./totex hack.doc    | expand > hack.tex
cp    summary.doc summary.tex
latex doc.tex
latex doc.tex
./correctindex doc.idx > tmp
mv tmp doc.idx
makeindex doc
sed -e 's/KEY \([^ ]*\)/\\verb$\1$/' -e 's/{,}/,/' doc.ind > tmp
mv tmp doc.ind
latex doc.tex
latex doc.tex

