git: 0bbf829ecb3b - main - math/eprover: Move man pages to share/man

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