diff -r eeea35fbf182 -r d80e6dedcc13 config/global.in
--- a/config/global.in	Sat Feb 24 11:00:05 2007 +0000
+++ b/config/global.in	Mon Mar 12 18:59:31 2007 +0000
@@ -126,6 +126,14 @@
     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