diff options
| -rwxr-xr-x | documentation/Doxybook | 2 | ||||
| -rw-r--r-- | documentation/Makefile | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/documentation/Doxybook b/documentation/Doxybook index c9dc2b9ba..d13f34fba 100755 --- a/documentation/Doxybook +++ b/documentation/Doxybook @@ -768,7 +768,7 @@ IGNORE_PREFIX = fl_ \ # If the GENERATE_HTML tag is set to YES (the default) Doxygen will # generate HTML output. -GENERATE_HTML = YES +GENERATE_HTML = NO # The HTML_OUTPUT tag is used to specify where the HTML docs will be put. # If a relative path is entered the value of OUTPUT_DIRECTORY will be 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$". |