From ff25ce640f8e841f05181bcb75da32a18c6bbb38 Mon Sep 17 00:00:00 2001
From: legatvs <legatvs.git@gmail.com>
Date: Thu, 25 Nov 2010 12:13:19 +0200
Subject: [PATCH] INSTALL: document WITHOUT_DOC

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

diff --git a/INSTALL b/INSTALL
index 5761db4..51fe5c7 100644
--- a/INSTALL
+++ b/INSTALL
@@ -44,6 +44,9 @@ These may be some of the frequently used ones.
     * CMAKE_VERBOSE_MAKEFILE=(true,false)
         Build with verbose makefiles, default is "false".
 
+    * WITHOUT_DOC=(true,false)
+        Install without documentation (e.g. doc/Howto* files).
+
 Example:
     % mkdir tmp; cd tmp
     % cmake -DCMAKE_INSTALL_PREFIX=/usr/local ..
-- 
2.11.4.GIT