2019-07-30 05:05:37 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
./configure \
|
|
|
|
--prefix=/usr
|
|
|
|
|
|
|
|
make
|
|
|
|
make DESTDIR="$1" install
|
|
|
|
|
2019-09-16 10:20:58 +00:00
|
|
|
# Remove unneeded files.
|
2019-07-30 05:05:37 +00:00
|
|
|
rm -rf "$1/usr/share/info"
|
2019-09-16 10:20:58 +00:00
|
|
|
rm -f "$1/usr/lib/charset.alias"
|