make.bat 618 B

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