set Dir_Old=%cd% cd /D %~dp0 del /s /f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.brf *.blg *.bbl refman.pdf pdflatex refman echo ---- makeindex refman.idx echo ---- pdflatex refman setlocal enabledelayedexpansion set count=8 :repeat set content=X for /F "tokens=*" %%T in ( 'findstr /C:"Rerun LaTeX" refman.log' ) do set content="%%~T" if !content! == X for /F "tokens=*" %%T in ( 'findstr /C:"Rerun to get cross-references right" refman.log' ) do set content="%%~T" if !content! == X goto :skip set /a count-=1 if !count! EQU 0 goto :skip echo ---- pdflatex refman goto :repeat :skip endlocal makeindex refman.idx pdflatex refman cd /D %Dir_Old% set Dir_Old=