summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorFrederik Schwan2020-05-08 16:43:24 +0200
committerFrederik Schwan2020-05-08 16:43:24 +0200
commit0c48fdac463cb4374f30862d911862b7e0021c81 (patch)
tree4a727e11cfd7ba17469f62d572544bf360aadafd /PKGBUILD
parent8ff0126c33f5f01e5cc18a2c9e0ac7cdc9e965d6 (diff)
downloadaur-spin.tar.gz
upgpkg: spin 6.5.2-3
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 2c95c5c69c34..1b7d45cdd35f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@
pkgname=spin
pkgver=6.5.2
-pkgrel=2
+pkgrel=3
pkgdesc='Tool for the formal verification of distributed software systems'
arch=('i686' 'x86_64')
url='https://spinroot.com/'
@@ -31,7 +31,7 @@ package() {
# install manpage and docs
cd "${srcdir}"/Spin-version-${pkgver}
- install -Dm644 -t "${pkgdir}"/usr/share/man/man1/spin.1.gz Man/spin.1
+ install -Dm644 -t "${pkgdir}"/usr/share/man/man1/ Man/spin.1
install -dm755 "${pkgdir}"/usr/share/doc/${pkgname}/examples
cp -a Examples/* "${pkgdir}"/usr/share/doc/${pkgname}/examples/