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>).


diff --git a/config/global.in b/config/global.in
index e61b132..2f4941e 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
diff --git a/scripts/crosstool.sh b/scripts/crosstool.sh
index 48ddca2..3ea66d2 100755
--- a/scripts/crosstool.sh
+++ b/scripts/crosstool.sh
@@ -258,6 +258,11 @@ if [ -n "${CT_TARGET_ALIAS}" ]; then
     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}"
-- 
cgit v0.10.2-6-g49f6