## Run this in <package>/doc. ##################################################################### echo "TeXing documentation" # TeX the manual and build its bibliography tex manual;bibtex manual # TeX the manual again to incorporate the ToC ... and build the index tex manual; ../../../doc/manualindex manual # Finally TeX the manual again to get cross-references right tex manual # Create the PostScript version (uncomment next line, if needed) #dvips -D300 manual -o # Create the .pdf version pdftex manual;pdftex manual # The HTML version of the manual mkdir -p ../htm echo "Creating HTML documentation" ../../../etc/convert.pl -c -n FORMAT . ../htm ##################################################################### (per Greg Gamble, 9-21-01)