changeset 516:f846099333ac

I can see the man pages being potentially useful, but info pages are a complete waste of space.
author Rob Landley <rob@landley.net>
date Tue, 02 Dec 2008 03:00:11 -0600
parents a16e258528bf
children 89b2e2c55b28
files mini-native.sh
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mini-native.sh	Tue Dec 02 02:13:29 2008 -0600
+++ b/mini-native.sh	Tue Dec 02 03:00:11 2008 -0600
@@ -286,6 +286,10 @@
 
 [ $? -ne 0 ] && dienow
 
+# Delete some unneeded files
+
+rm -rf "${TOOLS}"/{info,libexec/gcc/*/*/install-tools}
+
 # End of NATIVE_TOOLCHAIN
 
 fi