diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 0cc8b7643..63f32d304 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -284,6 +284,7 @@ pdf: latex/refman.pdf latex/refman.pdf: latex/refman.tex Doxyfile $(EPSFILES) echo "Generating PDF documentation..." + $(DOXYDOC) Doxybook ;\ (cd latex ;\ pdflatex --interaction=nonstopmode refman.tex ;\ makeindex refman.idx ;\ |