review with Alad Wenter

1 files changed, 3 insertions, 4 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 61fac27c3a86..2c95c5c69c34 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@
 
 pkgname=spin
 pkgver=6.5.2
-pkgrel=1
+pkgrel=2
 pkgdesc='Tool for the formal verification of distributed software systems'
 arch=('i686' 'x86_64')
 url='https://spinroot.com/'
@@ -31,9 +31,8 @@ package() {
 
   # install manpage and docs
   cd "${srcdir}"/Spin-version-${pkgver}
-  install -dm755 "${pkgdir}"/usr/share/man/man1/
-  install -dm755 "${pkgdir}"/usr/share/doc/${pkgname}/examples
+  install -Dm644 -t "${pkgdir}"/usr/share/man/man1/spin.1.gz Man/spin.1
 
-  install -Dm644 Man/spin.1 "${pkgdir}"/usr/share/man/man1/spin.1.gz
+  install -dm755 "${pkgdir}"/usr/share/doc/${pkgname}/examples
   cp -a Examples/* "${pkgdir}"/usr/share/doc/${pkgname}/examples/
 }