# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1179503291 0
# Node ID b7f9a63cd6dfa6a3c8c486a816bde25bb331d716
# Parent  d8bc0bf1bfa8c045373080e165d4041db2b619e2
Remove even more documentation.

diff -r d8bc0bf1bfa8 -r b7f9a63cd6df scripts/crosstool.sh
--- a/scripts/crosstool.sh	Fri May 18 08:41:44 2007 +0000
+++ b/scripts/crosstool.sh	Fri May 18 15:48:11 2007 +0000
@@ -372,8 +372,9 @@
         # Remove the generated documentation files
         if [ "${CT_REMOVE_DOCS}" = "y" ]; then
         	CT_DoLog INFO "Removing installed documentation"
-            rm -rf "${CT_PREFIX_DIR}/"{man,info}
-            rm -rf "${CT_DEBUG_INSTALL_DIR}/usr/"{man,info}
+            rm -rf "${CT_PREFIX_DIR}/"{,usr/}{man,info}
+            rm -rf "${CT_SYSROOT_DIR}/"{,usr/}{man,info}
+            rm -rf "${CT_DEBUG_INSTALL_DIR}/"{,usr/}{man,info}
         fi
     fi
 fi