diff -r eeea35fbf182 -r 11726b835286 scripts/crosstool.sh
--- a/scripts/crosstool.sh	Sat Feb 24 11:00:05 2007 +0000
+++ b/scripts/crosstool.sh	Wed Mar 07 19:00:10 2007 +0000
@@ -258,6 +258,11 @@
     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}"