#!/bin/sh ######################################################################### ## #W make_doc make AutPGrp Package documentation Greg Gamble ## ## This shell script uses TeX, BibTeX and MakeIndex to build the .dvi, ## PostScript (commented out), PDF, and HTML (provided you have tth ## and etc/convert.pl) documentation for the AutPGrp Package. ##
echo"TeXing documentation" # TeX the manual
tex manual # when there's a bibliography uncomment next line #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 (uncomment next line, if needed)
pdftex manual; pdftex manual
# The HTML version of the manual
mkdir -p ../htm echo"Creating HTML documentation"
../../../etc/convert.pl -i -u -c -n AutPGrp . ../htm
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
