summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2013-12-08 02:49:35 (EST)
committer P. J. McDermott <pjm@nac.net>2013-12-08 02:49:35 (EST)
commit4f2a91b633d1dd5fbadba6f34190b5fdd30db700 (patch)
treeb6810d0505cd928d710b78ebaf587be2a8a52f34
parenta629aa2e140debfff95402a17e0f01294cf3dbac (diff)
build: Remove common info files.
-rwxr-xr-xbuild3
1 files changed, 3 insertions, 0 deletions
diff --git a/build b/build
index 55e0d95..1cf737d 100755
--- a/build
+++ b/build
@@ -36,6 +36,9 @@ install: build
dest/usr/lib/lib/libiberty.*
# Remove GNU Info index.
rm -f dest/usr/share/info/dir
+ # Remove common info files.
+ rm -f dest/usr/share/info/configure.info
+ rm -f dest/usr/share/info/standards.info
# Remove Python bindings.
rm -Rf dest/usr/share/gdb/python
# Remove development files.