Fix for manpages

1 files changed, 4 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 5de21679ca82..541a2a523a8d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=mcrl2
 pkgver=201409.1
-pkgrel=1
+pkgrel=2
 pkgdesc="A formal specification language with an associated toolset."
 arch=('i686' 'x86_64')
 depends=('boost' 'qt4' 'glu')
@@ -23,6 +23,9 @@ package() {
   cd $srcdir/$pkgname-$pkgver
   cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake
 
+  mv ${pkgdir}/usr/share/mcrl2/man/ ${pkgdir}/usr/share/man # relocate the manpages 
+  gzip ${pkgdir}/usr/share/man/man1/*.1 # gunzip the manpages
+
   # install license
   install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
   install -m644 LICENSE_1_0.txt "${pkgdir}/usr/share/licenses/${pkgname}/"