diff options
author | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2001-09-30 15:25:14 (GMT) |
---|---|---|
committer | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2001-09-30 15:25:14 (GMT) |
commit | e174524c861548adb3cfd48ef59a7a4551cd2bfb (patch) | |
tree | c28047dda40b8133ff1326d80fcf662cc8065c7e /src/latexgen.cpp | |
parent | 86502f97ecaea3254217d723b5f10b6405495184 (diff) | |
download | Doxygen-e174524c861548adb3cfd48ef59a7a4551cd2bfb.zip Doxygen-e174524c861548adb3cfd48ef59a7a4551cd2bfb.tar.gz Doxygen-e174524c861548adb3cfd48ef59a7a4551cd2bfb.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 " |