From: Jens Vollinga Date: Wed, 16 Aug 2006 20:25:34 +0000 (+0000) Subject: Fixed bug in reference generation for ps format. X-Git-Tag: release_1-4-0~70 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=9153abde749a8fcf79e810649cc16d7738d62876 Fixed bug in reference generation for ps format. --- diff --git a/doc/reference/Makefile.am b/doc/reference/Makefile.am index bf2da91d..67cb8ceb 100644 --- a/doc/reference/Makefile.am +++ b/doc/reference/Makefile.am @@ -26,7 +26,8 @@ latex:: latex/reference.tex: @echo "Running ${DOXYGEN} DoxyfileTEX..."; \ - ${DOXYGEN} DoxyfileTEX + ${DOXYGEN} DoxyfileTEX; \ + mv latex/refman.tex latex/reference.tex latex/reference.dvi: latex/reference.tex @set -e ;\