git: 1189805d578b - main - math/alt-ergo: Moved man to share/man

From: Muhammad Moinur Rahman <bofh_at_FreeBSD.org>
Date: Sat, 24 Feb 2024 18:21:27 UTC 
The branch main has been updated by bofh:

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

commit 1189805d578b011434ec604dd72b4058877b2e42
Author:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
AuthorDate: 2024-02-24 18:06:16 +0000
Commit:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
CommitDate: 2024-02-24 18:21:01 +0000

    math/alt-ergo: Moved man to share/man
    
    Approved by:    portmgr (blanket)
---
 math/alt-ergo/Makefile  | 3 ++-
 math/alt-ergo/pkg-plist | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile
index 7fc95e14929f..572358f84481 100644
--- a/math/alt-ergo/Makefile
+++ b/math/alt-ergo/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	alt-ergo
 PORTVERSION=	0.95.2
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	math
 MASTER_SITES=	http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/
 
@@ -23,6 +23,7 @@ RUN_DEPENDS=	ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
 		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
 
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
 USES=		gmake
 USE_OCAML=	yes
 ALL_TARGET=	opt pack xpack META
diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist
index bf0cd1a27feb..72e2cd72fc17 100644
--- a/math/alt-ergo/pkg-plist
+++ b/math/alt-ergo/pkg-plist
@@ -4,4 +4,4 @@ lib/ocaml/alt-ergo/altErgo.cmi
 lib/ocaml/alt-ergo/altErgo.cmo
 lib/ocaml/alt-ergo/altErgo.cmx
 lib/ocaml/alt-ergo/altErgo.o
-man/man1/alt-ergo.1.gz
+share/man/man1/alt-ergo.1.gz