make.bat (618B)
1del /s /f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.brf *.blg *.bbl refman.pdf 2 3pdflatex refman 4echo ---- 5makeindex refman.idx 6echo ---- 7pdflatex refman 8 9setlocal enabledelayedexpansion 10set count=5 11:repeat 12set content=X 13for /F "tokens=*" %%T in ( 'findstr /C:"Rerun LaTeX" refman.log' ) do set content="%%~T" 14if !content! == X for /F "tokens=*" %%T in ( 'findstr /C:"Rerun to get cross-references right" refman.log' ) do set content="%%~T" 15if !content! == X goto :skip 16set /a count-=1 17if !count! EQU 0 goto :skip 18 19echo ---- 20pdflatex refman 21goto :repeat 22:skip 23endlocal 24makeindex refman.idx 25pdflatex refman