diff options
Diffstat (limited to 'extra/libthai/Pkgfile')
| -rw-r--r-- | extra/libthai/Pkgfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extra/libthai/Pkgfile b/extra/libthai/Pkgfile index a4435943f..4fcf011e9 100644 --- a/extra/libthai/Pkgfile +++ b/extra/libthai/Pkgfile @@ -14,7 +14,9 @@ build() { ./configure --prefix=/usr \ --mandir=/usr/share/man \ --infodir=/usr/share/info \ - --disable-static + --disable-static \ + --disable-doxygen-doc make make DESTDIR=$PKG install + rm -r $PKG/usr/share/man } |