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