diff options
| author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-03-07 19:00:10 +0000 |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-03-07 19:00:10 +0000 |
| commit | dcdd2844e45319158c2a4972ec329976609fe523 (patch) | |
| tree | fa770341dcab0857c56ca161c7991c0585dd093c | |
| parent | 1772045f66221f1dcc0cc5dba5adc862a280141a (diff) | |
| download | crosstool-ng-dcdd2844e45319158c2a4972ec329976609fe523.tar.gz crosstool-ng-dcdd2844e45319158c2a4972ec329976609fe523.tar.bz2 crosstool-ng-dcdd2844e45319158c2a4972ec329976609fe523.zip | |
Add an option to remove the generated documentation.
(After an idea from Enrico Weigelt <weigelt@metux.de>).
| -rw-r--r-- | config/global.in | 8 | ||||
| -rwxr-xr-x | scripts/crosstool.sh | 5 |
2 files changed, 13 insertions, 0 deletions
diff --git a/config/global.in b/config/global.in index e61b1329..2f4941e5 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 48ddca29..3ea66d2c 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}" |