summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/global.in8
-rwxr-xr-xscripts/crosstool.sh5
2 files changed, 13 insertions, 0 deletions
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}"