# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1173294010 0
# Node ID 11726b835286f526f5596352795a01b15378de89
# Parent  068dce39f687417b32e65e73fa7fb02578b04b20
Add an option to remove the generated documentation.
(After an idea from Enrico Weigelt <weigelt@metux.de>).

diff -r 068dce39f687 -r 11726b835286 config/global.in
--- a/config/global.in	Sun Mar 04 22:56:04 2007 +0000
+++ b/config/global.in	Wed Mar 07 19:00:10 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
diff -r 068dce39f687 -r 11726b835286 scripts/crosstool.sh
--- a/scripts/crosstool.sh	Sun Mar 04 22:56:04 2007 +0000
+++ b/scripts/crosstool.sh	Wed Mar 07 19:00:10 2007 +0000
@@ -258,6 +258,11 @@
     CT_Popd
 fi
 
+if [ "${CT_REMOVE_DOCS}" = "y" ]; then
+	CT_DoLog INFO "Removing installed documentation"
+    rm -rf "${CT_PREFIX_DIR}/"{man,info}
+fi
+
 CT_STOP_DATE=`CT_DoDate +%s%N`
 CT_STOP_DATE_HUMAN=`CT_DoDate +%Y%m%d.%H%M%S`
 CT_DoLog INFO "Build completed at ${CT_STOP_DATE_HUMAN}"