diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2001-09-30 15:25:14 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2001-09-30 15:25:14 (GMT) |
| commit | 00e00a1df00be67219a28aaa8d58e8a0991555eb (patch) | |
| tree | c28047dda40b8133ff1326d80fcf662cc8065c7e /src/latexgen.cpp | |
| parent | 156b0bb68fc4104792afb27ee4ee466f3efac206 (diff) | |
| download | Doxygen-00e00a1df00be67219a28aaa8d58e8a0991555eb.zip Doxygen-00e00a1df00be67219a28aaa8d58e8a0991555eb.tar.gz Doxygen-00e00a1df00be67219a28aaa8d58e8a0991555eb.tar.bz2 | |
Release-1.2.11
Diffstat (limited to 'src/latexgen.cpp')
| -rw-r--r-- | src/latexgen.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/latexgen.cpp b/src/latexgen.cpp index d310ea3..6b4f901 100644 --- a/src/latexgen.cpp +++ b/src/latexgen.cpp @@ -160,16 +160,17 @@ void LatexGenerator::init() << endl << "refman.ps: refman.dvi" << endl << "\tdvips -o refman.ps refman.dvi" << endl - << endl - << "refman.pdf: refman.ps" << endl; + << endl; if (Config_getBool("USE_PDFLATEX")) // use pdflatex instead of latex { + t << "refman.pdf: refman.tex" << endl; t << "\tpdflatex refman.tex" << endl; t << "\tmakeindex refman.idx" << endl; t << "\tpdflatex refman.tex" << endl << endl; } else // otherwise use ps2pdf: not as nice :( { + t << "refman.pdf: refman.ps" << endl; #if defined(_MSC_VER) // ps2pdf.bat does not work properly from a makefile using GNU make! t << "\tgswin32c -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite " |