#!/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
correctindex doc.idx > tmp
mv tmp doc.idx
index doc
sed -e 's/KEY \([^ ]*\)/\\verb$\1$/' -e 's/{,}/,/' doc.ind > tmp
mv tmp doc.ind
