#!/bin/sh ######################################################################### ## #W make_doc make ITC Share Package documentation Alexander Hulpke ## #H $Id: make_doc,v 1.3 2002/04/17 15:36:56 gap Exp $ ## ## This shell script uses TeX, BibTeX and MakeIndex to build the .dvi ## PostScript (commented out) and HTML (provided you have tth and ## etc/convert.pl) documentation for the ITC Share Package. ## 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 # Generate pdf version pdftex manual pdftex manual # The HTML version of the manual mkdir -p ../htm echo "Creating HTML documentation" ../../../etc/convert.pl -t -c -n ITC . ../htm ######################################################################### ## #E