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

Quelle  make_doc   Sprache: unbekannt

 
#!/bin/sh
rm -f manual.aux manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc
tex manual
../../../doc/manualindex manual
bibtex manual
tex manual
tex manual
pdftex manual; pdftex manual

rm -rf ../htm
mkdir ../htm
../../../etc/convert.pl -c -i -n grpconst . ../htm

[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]