summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-05-18 15:48:11 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-05-18 15:48:11 (GMT)
commit4f4aa3cfb5a7b5bda13d1ec437291b657e7725cf (patch)
tree02cc9b5d7acb9be56d98022842292945d9f492d3
parent63a75e1743b545fd43084acbb8cb718b066659cd (diff)
Remove even more documentation.
-rwxr-xr-xscripts/crosstool.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/crosstool.sh b/scripts/crosstool.sh
index 173c1be..4fd9927 100755
--- a/scripts/crosstool.sh
+++ b/scripts/crosstool.sh
@@ -372,8 +372,9 @@ if [ "${CT_ONLY_DOWNLOAD}" != "y" ]; then
# 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