Merge Branch 'vmcontrol' Version 0.2.0 in Branch 'master'

doxygendoc/latex/make.bat

@@ -0,0 +1,31 @@
+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=