changeset 14 | 11726b835286 |
parent 1 | eeea35fbf182 |
child 46 | 1c22b060eb4d |
1.1 --- a/scripts/crosstool.sh Sat Feb 24 11:00:05 2007 +0000 1.2 +++ b/scripts/crosstool.sh Wed Mar 07 19:00:10 2007 +0000 1.3 @@ -258,6 +258,11 @@ 1.4 CT_Popd 1.5 fi 1.6 1.7 +if [ "${CT_REMOVE_DOCS}" = "y" ]; then 1.8 + CT_DoLog INFO "Removing installed documentation" 1.9 + rm -rf "${CT_PREFIX_DIR}/"{man,info} 1.10 +fi 1.11 + 1.12 CT_STOP_DATE=`CT_DoDate +%s%N` 1.13 CT_STOP_DATE_HUMAN=`CT_DoDate +%Y%m%d.%H%M%S` 1.14 CT_DoLog INFO "Build completed at ${CT_STOP_DATE_HUMAN}"