Date: Tue, 12 Mar 2024 12:04:48 GMT From: Nuno Teixeira <eduardo@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 0bbf829ecb3b - main - math/eprover: Move man pages to share/man Message-ID: <202403121204.42CC4mXD013878@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by eduardo: URL: https://cgit.FreeBSD.org/ports/commit/?id=0bbf829ecb3ba9afe0c15173a414572044bb4151 commit 0bbf829ecb3ba9afe0c15173a414572044bb4151 Author: Nuno Teixeira <eduardo@FreeBSD.org> AuthorDate: 2024-03-12 08:17:06 +0000 Commit: Nuno Teixeira <eduardo@FreeBSD.org> CommitDate: 2024-03-12 12:04:28 +0000 math/eprover: Move man pages to share/man Approved by: portmgr (blanket) --- math/eprover/Makefile | 4 ++-- math/eprover/pkg-plist | 24 ++++++++++++------------ 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/math/eprover/Makefile b/math/eprover/Makefile index fd4ffa2bcf46..36abe9c4348d 100644 --- a/math/eprover/Makefile +++ b/math/eprover/Makefile @@ -1,7 +1,7 @@ PORTNAME= eprover DISTVERSIONPREFIX= E- DISTVERSION= 2.6 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -26,7 +26,7 @@ SHEBANG_FILES= etc/bjob_classify \ HAS_CONFIGURE= yes CONFIGURE_ARGS= --bindir=${STAGEDIR}${PREFIX}/bin/ \ - --man-prefix=${STAGEDIR}${PREFIX}/man/man1/ + --man-prefix=${STAGEDIR}${PREFIX}/share/man/man1/ MAKE_ARGS= CC=${CC} ALL_TARGET= all man diff --git a/math/eprover/pkg-plist b/math/eprover/pkg-plist index 173761dd63b0..7b4c53a0d2f5 100644 --- a/math/eprover/pkg-plist +++ b/math/eprover/pkg-plist @@ -10,15 +10,15 @@ bin/ekb_ginsert bin/ekb_insert bin/epclextract bin/eprover -man/man1/checkproof.1.gz -man/man1/e_axfilter.1.gz -man/man1/e_deduction_server.1.gz -man/man1/e_ltb_runner.1.gz -man/man1/e_stratpar.1.gz -man/man1/eground.1.gz -man/man1/ekb_create.1.gz -man/man1/ekb_delete.1.gz -man/man1/ekb_ginsert.1.gz -man/man1/ekb_insert.1.gz -man/man1/epclextract.1.gz -man/man1/eprover.1.gz +share/man/man1/checkproof.1.gz +share/man/man1/e_axfilter.1.gz +share/man/man1/e_deduction_server.1.gz +share/man/man1/e_ltb_runner.1.gz +share/man/man1/e_stratpar.1.gz +share/man/man1/eground.1.gz +share/man/man1/ekb_create.1.gz +share/man/man1/ekb_delete.1.gz +share/man/man1/ekb_ginsert.1.gz +share/man/man1/ekb_insert.1.gz +share/man/man1/epclextract.1.gz +share/man/man1/eprover.1.gz
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202403121204.42CC4mXD013878>