git: ec0481642865 - main - math/spot: Move man pages to share/man

The branch main has been updated by eduardo:

URL: https://cgit.FreeBSD.org/ports/commit/?id=ec04816428651cbd3162be727c7c0c1b111a184d

commit ec04816428651cbd3162be727c7c0c1b111a184d
Author:     Nuno Teixeira <eduardo@FreeBSD.org>
AuthorDate: 2024-03-12 11:59:38 +0000
Commit:     Nuno Teixeira <eduardo@FreeBSD.org>
CommitDate: 2024-03-12 12:04:30 +0000

    math/spot: Move man pages to share/man
    
    Approved by:    portmgr (blanket)
---
 math/spot/Makefile  |  2 ++
 math/spot/pkg-plist | 32 ++++++++++++++++----------------
 2 files changed, 18 insertions(+), 16 deletions(-)

diff --git a/math/spot/Makefile b/math/spot/Makefile
index 7e6ea7a954ee..125b70e4bffe 100644
--- a/math/spot/Makefile
+++ b/math/spot/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	spot
 DISTVERSION=	2.11.6
+PORTREVISION=	1
 CATEGORIES=	math
 MASTER_SITES=	http://www.lrde.epita.fr/dload/${PORTNAME}/
 
@@ -18,6 +19,7 @@ USES=		charsetfix compiler:c++17-lang gmake libtool python:test
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=	${PREFIX}/share
 .if !defined(WITH_PYTHON) # math/py-spot is a separate port but tests don't work there. To test run: make test WITH_PYTHON=yes
 CONFIGURE_ARGS=	--disable-python --disable-static
 .else
diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist
index 927a9f807b45..a9dc13b1db52 100644
--- a/math/spot/pkg-plist
+++ b/math/spot/pkg-plist
@@ -212,19 +212,19 @@ libdata/pkgconfig/libbddx.pc
 libdata/pkgconfig/libspot.pc
 libdata/pkgconfig/libspotgen.pc
 libdata/pkgconfig/libspotltsmin.pc
-man/man1/autcross.1.gz
-man/man1/autfilt.1.gz
-man/man1/dstar2tgba.1.gz
-man/man1/genaut.1.gz
-man/man1/genltl.1.gz
-man/man1/ltl2tgba.1.gz
-man/man1/ltl2tgta.1.gz
-man/man1/ltlcross.1.gz
-man/man1/ltldo.1.gz
-man/man1/ltlfilt.1.gz
-man/man1/ltlgrind.1.gz
-man/man1/ltlsynt.1.gz
-man/man1/randaut.1.gz
-man/man1/randltl.1.gz
-man/man7/spot-x.7.gz
-man/man7/spot.7.gz
+share/man/man1/autcross.1.gz
+share/man/man1/autfilt.1.gz
+share/man/man1/dstar2tgba.1.gz
+share/man/man1/genaut.1.gz
+share/man/man1/genltl.1.gz
+share/man/man1/ltl2tgba.1.gz
+share/man/man1/ltl2tgta.1.gz
+share/man/man1/ltlcross.1.gz
+share/man/man1/ltldo.1.gz
+share/man/man1/ltlfilt.1.gz
+share/man/man1/ltlgrind.1.gz
+share/man/man1/ltlsynt.1.gz
+share/man/man1/randaut.1.gz
+share/man/man1/randltl.1.gz
+share/man/man7/spot-x.7.gz
+share/man/man7/spot.7.gz