Fixed bug in reference generation for ps format.

diff --git a/doc/reference/Makefile.am b/doc/reference/Makefile.am
index bf2da91dd2384c7ad19755b04e9ebfc075dba208..67cb8ceb360f13b342aba1c8d393258b06651d1a 100644 (file)
--- 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 ;\