Skip to content

Latest commit

 

History

History
executable file
·
25 lines (22 loc) · 618 Bytes

make.bat

File metadata and controls

executable file
·
25 lines (22 loc) · 618 Bytes
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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=5
: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