#!/bin/sh rm -f manual.aux manual.dvi manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc tex manual ../../../doc/manualindex manual tex manual ../../../etc/convert.pl -c -i -u -n CARAT . ../htm dvips -o manual.ps manual ps2pdf manual.ps manual.pdf