diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 63f32d304..681698fa1 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -282,7 +282,7 @@ pdf-dist : latex/refman.pdf pdf: latex/refman.pdf -latex/refman.pdf: latex/refman.tex Doxyfile $(EPSFILES) +latex/refman.pdf: latex/refman.tex Doxybook $(EPSFILES) echo "Generating PDF documentation..." $(DOXYDOC) Doxybook ;\ (cd latex ;\ @@ -299,7 +299,7 @@ latex/refman.pdf: latex/refman.tex Doxyfile $(EPSFILES) done ; \ cd ..) > pdfall.log -latex/refman.tex: html/index.html $(EPSFILES) +latex/refman.tex: Doxybook $(EPSFILES) # # End of "$Id$". |