#!/bin/sh
rm -r manual.aux manual.dvi manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc

 ../../../etc/buildman.pe -f config.openmath

tex manual
# ../../../doc/manualindex manual
tex manual
../../../etc/convert.pl -c -i -n openmath . htm

dvips -o manual.ps manual

ps2pdf manual.ps

