2019-06-28 13:36:47 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
./configure \
|
2019-07-09 08:16:03 +00:00
|
|
|
--prefix=/usr \
|
|
|
|
--localstatedir=/var \
|
2019-07-17 13:34:26 +00:00
|
|
|
--sysconfdir=/etc \
|
|
|
|
--with-xmldir=/etc/fonts
|
2019-06-28 13:36:47 +00:00
|
|
|
|
|
|
|
make
|
|
|
|
make DESTDIR="$1" install
|
2019-08-11 17:49:56 +00:00
|
|
|
|
2019-08-19 00:42:44 +00:00
|
|
|
# Remove docs and other unneeded files.
|
2019-08-11 17:49:56 +00:00
|
|
|
rm -rf "$1/usr/share/doc"
|
2019-08-19 00:42:44 +00:00
|
|
|
rm -rf "$1/usr/share/gettext"
|
|
|
|
rm -rf "$1/usr/share/locale"
|
|
|
|
rm -rf "$1/usr/share/man/man3"
|