Honor disable documentation.

[[Imported from SVN: r627]]

Honor disable documentation.
7b484229 · Markus Blatt · fc33cb77 · 7b484229
Commit 7b484229 authored 18 years ago by Markus Blatt
--- a/doc/doxygen/Makefile.am
+++ b/doc/doxygen/Makefile.am
@@ -3,11 +3,12 @@
 if BUILD_DOCS
  DOXYGENTAG = doxygen-tag
  WHAT = bestpractice.html
+  DOXYGEN_HTML = html
 endif

 DISTCLEANFILES = doxygen.log doxygen-tag

-all: $(WHAT) html
+all: $(WHAT) $(DOXYGEN_HTML)

 # setting like in dune-web
 BASEDIR=../..