latex manual
bibtex manual
latex manual
makeindex manual
echo  \\begin{theindex} > findex.tex
echo \\indexspace >> findex.tex
grep FUNCTION manual.ind | sed "s/FUNCTION/ /g"  | \
	 sed 's/_/\\_/g' >> findex.tex
echo \\end{theindex} >> findex.tex
grep -v FUNCTION manual.ind | sed 's/_/\\_/g' > sindex.tex
latex manual
dvips manual

