diff --git a/extra/p7zip/PKGBUILD b/extra/p7zip/PKGBUILD index dad03ddd5..128940702 100644 --- a/extra/p7zip/PKGBUILD +++ b/extra/p7zip/PKGBUILD @@ -11,7 +11,7 @@ pkgname=p7zip pkgver=16.02 -pkgrel=1 +pkgrel=2 pkgdesc="Command-line file archiver with high compression ratio" arch=('i686' 'x86_64') url="http://p7zip.sourceforge.net/" @@ -42,6 +42,9 @@ package() { DEST_HOME=/usr \ DEST_MAN=/usr/share/man + # Remove documentation for the GUI file manager + rm -r "$pkgdir/usr/share/doc/p7zip/DOC/MANUAL/fm" + install -d "${pkgdir}"/usr/share/licenses/p7zip ln -s -t "$pkgdir/usr/share/licenses/p7zip/" \ /usr/share/doc/p7zip/DOC/License.txt \