various: Delete info pages.

This commit is contained in:
Dylan Araps 2020-05-11 19:26:32 +03:00
parent d7d9eae4e8
commit f7a7cde0c7
No known key found for this signature in database
GPG Key ID: 46D62DD9F1DE636E
8 changed files with 15 additions and 0 deletions

View File

@ -28,3 +28,5 @@ export PATH=$PATH:$PWD
make configure-host
make tooldir=/usr
make prefix="$1/usr" tooldir="$1/usr" install
rm -rf "$1/usr/share/info"

View File

@ -5,3 +5,5 @@
make
make DESTDIR="$1" install
rm -rf "$1/usr/share/info"

View File

@ -9,3 +9,5 @@
make
make DESTDIR="$1" install
rm -rf "$1/usr/share/info"

View File

@ -58,6 +58,7 @@ make DESTDIR="$1" install
find "$1" -name libgtkpeer.a -exec rm -f {} +
find "$1" -name libgjsmalsa.a -exec rm -f {} +
find "$1" -name libgij.a -exec rm -f {} +
rm -rf "$1/usr/share/info"
# Some legacy programs will expect cc
ln -s gcc "$1/usr/bin/cc"

View File

@ -51,3 +51,5 @@ install -Dm0644 grub.default "$1/etc/default/grub"
rm -f grub/*/gdb_grub
rm -f grub/*/gmodule.pl
)
rm -rf "$1/usr/share/info"

View File

@ -5,3 +5,5 @@
make
make DESTDIR="$1" install
rm -rf "$1/usr/share/info"

View File

@ -5,3 +5,5 @@
make
make DESTDIR="$1" install
rm -rf "$1/usr/share/info"

View File

@ -7,6 +7,8 @@
make
make DESTDIR="$1" install
rm -rf "$1/usr/share/info"
# Maintain compatibility and avoid the need
# for rebuilds of all packages linking to
# libffi.