1 files changed, 17 insertions, 0 deletions
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.