diff options
| -rw-r--r-- | extra/libthai/.footprint | 2 | ||||
| -rw-r--r-- | extra/libthai/Pkgfile | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/extra/libthai/.footprint b/extra/libthai/.footprint index 2970335ca..d71741b02 100644 --- a/extra/libthai/.footprint +++ b/extra/libthai/.footprint @@ -28,5 +28,3 @@ drwxr-xr-x root/root usr/lib/pkgconfig/ drwxr-xr-x root/root usr/share/ drwxr-xr-x root/root usr/share/libthai/ -rw-r--r-- root/root usr/share/libthai/thbrk.tri -drwxr-xr-x root/root usr/share/man/ -drwxr-xr-x root/root usr/share/man/man3/ 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 } |