From dcdd2844e45319158c2a4972ec329976609fe523 Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Wed, 7 Mar 2007 19:00:10 +0000 Subject: Add an option to remove the generated documentation. (After an idea from Enrico Weigelt ). --- scripts/crosstool.sh | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'scripts') 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}" -- cgit v1.2.3