diff options
author | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-12 11:59:38 +0000 |
---|---|---|
committer | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-12 12:04:30 +0000 |
commit | ec04816428651cbd3162be727c7c0c1b111a184d (patch) | |
tree | a3ed10d88055295414da762546517a26d030a568 | |
parent | f1443afcb385e224d59510cc7e01e57721a29bf0 (diff) | |
download | ports-ec04816428651cbd3162be727c7c0c1b111a184d.tar.gz ports-ec04816428651cbd3162be727c7c0c1b111a184d.zip |
math/spot: Move man pages to share/man
Approved by: portmgr (blanket)
-rw-r--r-- | math/spot/Makefile | 2 | ||||
-rw-r--r-- | 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 |