Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/crystcat/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 18.4.2022 mit Größe 369 B image not shown  

Quelle  make_doc   Sprache: unbekannt

 
#!/bin/sh
set -e

echo "TeXing documentation"
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

echo "Creating PDF version"
pdftex manual; pdftex manual

echo "Creating HTML documentation"
mkdir -p ../htm
../../../etc/convert.pl -c -i -u -n crystcat . ../htm

92%


[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]