git: 5e7b02c5498d - main - devel/deheader: Move man pages to share/man

From: Nuno Teixeira <eduardo_at_FreeBSD.org>
Date: Tue, 05 Mar 2024 14:51:39 UTC 
The branch main has been updated by eduardo:

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

commit 5e7b02c5498d758ba7ac2c95e42e81c494f70685
Author:     Nuno Teixeira <eduardo@FreeBSD.org>
AuthorDate: 2024-03-05 14:27:26 +0000
Commit:     Nuno Teixeira <eduardo@FreeBSD.org>
CommitDate: 2024-03-05 14:51:15 +0000

    devel/deheader: Move man pages to share/man
    
    Approved by:    portmgr (blanket)
---
 devel/deheader/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/devel/deheader/Makefile b/devel/deheader/Makefile
index 77f0750ee587..5fd2306350e9 100644
--- a/devel/deheader/Makefile
+++ b/devel/deheader/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	deheader
 PORTVERSION=	1.6
+PORTREVISION=	1
 CATEGORIES=	devel
 
 MAINTAINER=	gahr@FreeBSD.org
@@ -19,10 +20,10 @@ USE_GITLAB=	yes
 GL_ACCOUNT=	esr
 GL_TAGNAME=	b408c9013f4e1d917cc12f06edda4e1782e64888
 
-PLIST_FILES=	bin/deheader man/man1/deheader.1.gz
+PLIST_FILES=	bin/deheader share/man/man1/deheader.1.gz
 
 do-install:
 	${INSTALL_SCRIPT} ${WRKSRC}/deheader ${STAGEDIR}${PREFIX}/bin
-	${INSTALL_MAN} ${WRKSRC}/deheader.1 ${STAGEDIR}${PREFIX}/man/man1
+	${INSTALL_MAN} ${WRKSRC}/deheader.1 ${STAGEDIR}${PREFIX}/share/man/man1
 
 .include <bsd.port.mk>