Permalink
Browse files

make.bat: change current directory

First thing after calling make.bat: switch current directory to folder make.bat resides in.
Purpose: easy external call of make.bat.
/J.
  • Loading branch information...
jannick0 committed May 21, 2014
1 parent 64f7743 commit fc386eb107958b4f3214aa2c0c6caf2a91c83177
Showing with 1 addition and 0 deletions.
  1. +1 −0 src/latexgen.cpp
@@ -186,6 +186,7 @@ static void writeMakeBat()
exit(1);
}
FTextStream t(&file);
t << "cd %~p0\n\n"; // switch current directory with make.bat (for external calls of make.bat)
t << "del /s /f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.brf *.blg *.bbl refman.pdf\n\n";
if (!Config_getBool("USE_PDFLATEX")) // use plain old latex
{

0 comments on commit fc386eb

Please sign in to comment.