upgpkg: spin 6.5.2-3

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2b29e38b97f5..a8ba5610a2df 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = spin
 	pkgdesc = Tool for the formal verification of distributed software systems
 	pkgver = 6.5.2
-	pkgrel = 2
+	pkgrel = 3
 	url = https://spinroot.com/
 	arch = i686
 	arch = x86_64
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/