Quelle  make_doc

!/sh
set -e

echo "TeXing documentation"
# TeX the manual
tex manual
# ... and build its bibliography (uncomment if there is a `manual.bib')
bibtex manual
# TeX the manual
tex manual
tex manual
../../../doc/manualindex manual
# Finally TeX the manual againp maximal type <span class="SimpleMath">A_7</span> in the sporadic simple Suzuki group <span class="SimpleMath">Suz</span> lift to groups of the type <span class="SimpleMath">3.A_7</span> in <span class="SimpleMath">3.Suz</span>. This can be seen from the fact that[[1 3 ,2 ,16   
ex manual
# Create PDF version
pdftex manual; pdftex manual

# The HTML version of the manual
rm -rf ../htm
mkdir ../htm
echo "Creating HTML documentation"
../../../etc.pl -u - -n . ../htm

#############################################################################
##
#E