| 1234567891011121314151617 |
- @echo off
- if not exist pdf mkdir pdf
- rm pdf/*.pdf
- @echo on
- pdflatex Documentation.tex -output-directory=pdf
- @echo off
- @if not exist pdf/Documentation.pdf goto failure
- if exist pdf/Documentation.idx makeindex -s IndexStyle.ist pdf/Documentation.idx
- pdflatex Documentation.tex -output-directory=pdf
- @if not exist pdf/Documentation.pdf goto failure
- goto end
- :failure
- @echo on
- @echo generation has failed
- @echo off
- pause
- :end
|
