You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
32 lines
712 B
32 lines
712 B
3 years ago
|
set Dir_Old=%cd%
|
||
|
cd /D %~dp0
|
||
|
|
||
|
del /s /f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.brf *.blg *.bbl refman.pdf
|
||
|
|
||
|
set LATEX_CMD=pdflatex
|
||
|
%LATEX_CMD% refman
|
||
|
echo ----
|
||
|
makeindex refman.idx
|
||
|
echo ----
|
||
|
%LATEX_CMD% 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 ----
|
||
|
%LATEX_CMD% refman
|
||
|
goto :repeat
|
||
|
:skip
|
||
|
endlocal
|
||
|
makeindex refman.idx
|
||
|
%LATEX_CMD% refman
|
||
|
cd /D %Dir_Old%
|
||
|
set Dir_Old=
|