Add an option to remove the generated documentation.

(After an idea from Enrico Weigelt <weigelt@metux.de>).

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

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}"