Commit baeed6b9 authored by Dimitri van Heesch's avatar Dimitri van Heesch
Browse files

Merge pull request #174 from jannick0/patch-1

make.bat: change current directory
parents 4f6e6913 1f877b09
Loading
Loading
Loading
Loading
+4 −0
Original line number Original line Diff line number Diff line
@@ -186,6 +186,8 @@ static void writeMakeBat()
    exit(1);
    exit(1);
  }
  }
  FTextStream t(&file);
  FTextStream t(&file);
  t << "set Dir_Old=%cd%\n";
  t << "cd /D %~dp0\n\n";
  t << "del /s /f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.brf *.blg *.bbl refman.pdf\n\n";
  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
  if (!Config_getBool("USE_PDFLATEX")) // use plain old latex
  {
  {
@@ -246,6 +248,8 @@ static void writeMakeBat()
    t << "endlocal\n";
    t << "endlocal\n";
    t << mkidx_command << " refman.idx\n";
    t << mkidx_command << " refman.idx\n";
    t << "pdflatex refman\n";
    t << "pdflatex refman\n";
    t << "cd /D %Dir_Old%\n";
    t << "set Dir_Old=\n";
  }
  }
#endif
#endif
}
}