| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/tst/mockpkg/doc/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 18.9.2025 mit Größe 261 B |
|
Quelle make_doc Sprache: C |
|||||||||
|
#!/bin/sh
set -e echo "TeXing documentation" # TeX the manual tex 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 ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28