From dcdd2844e45319158c2a4972ec329976609fe523 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Wed, 7 Mar 2007 19:00:10 +0000
Subject: Add an option to remove the generated documentation. (After an idea
 from Enrico Weigelt <weigelt@metux.de>).

---
 config/global.in | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'config')

diff --git a/config/global.in b/config/global.in
index e61b1329..2f4941e5 100644
--- a/config/global.in
+++ b/config/global.in
@@ -126,6 +126,14 @@ config CUSTOM_PATCH_DIR
     help
       Enter the custom patch directory here.
 
+config REMOVE_DOCS
+    bool
+    prompt "Remove documentation"
+    default n
+    help
+      Remove the installed documentation (man and info pages).
+      Gains around 8MiB for a uClibc-based, C and C++ compiler.
+
 comment "Downloading and extracting"
 
 config NO_DOWNLOAD
-- 
cgit v1.2.3