1.1 --- a/scripts/crosstool.sh	Sat Feb 24 11:00:05 2007 +0000
     1.2 +++ b/scripts/crosstool.sh	Mon Mar 12 18:59:31 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}"