diff options
author | Nikolaos Bezirgiannis | 2015-10-06 13:57:25 +0200 |
---|---|---|
committer | Nikolaos Bezirgiannis | 2015-10-06 13:57:25 +0200 |
commit | c4363f8d5c138291bc70a8e907d0daa5b2fbe4b4 (patch) | |
tree | ea44071c6ce4440e384a8c271fd0e33333ac6fb3 | |
parent | f15d2bac8dcc9be865bbd60ce88f77c43cb1dbea (diff) | |
download | aur-c4363f8d5c138291bc70a8e907d0daa5b2fbe4b4.tar.gz |
Fix for manpages
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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}/" |