From cff69928512cf8f8897d1e1c21e1e81a21060d7c Mon Sep 17 00:00:00 2001
From: Hans Ulrich Niedermann <hun@n-dimensional.de>
Date: Mon, 7 Mar 2011 20:23:28 +0100
Subject: doc: Document doxygen usage/non-usage

---
 INSTALL | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/INSTALL b/INSTALL
index 74a61e9..878d458 100644
--- a/INSTALL
+++ b/INSTALL
@@ -24,6 +24,23 @@ It can be found in manuals_and_examples/manuals/pdf/inst-guide.pdf
 Tips and tricks:
 ~~~~~~~~~~~~~~~~
 
+  * Shorter build times (without building the doxygen documentation)
+    are possible if you run your builds with DOXYGEN=: (':' is 'true').
+
+    Permanently disable doxygen builds:
+
+       $ ./configure DOXYGEN=no
+
+    Disable doxygen builds, but make it overridable in later builds:
+
+       $ ./configure DOXYGEN=:
+       $ make DOXYGEN=doxygen
+
+    If configure has found doxygen, temporarily run a build without
+    doxygen:
+
+       $ make DOXYGEN=: all
+
   * If some libraries are installed in special places, you can set
     CPPFLAGS or LDFLAGS when running configure, i.e. e.g.
 
-- 
cgit