git: f222ca9c46ad - main - devel/menhir: Moved man to share/man
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 23 Feb 2024 13:55:42 UTC
The branch main has been updated by bofh:
URL: https://cgit.FreeBSD.org/ports/commit/?id=f222ca9c46adfaab8cd4fda680e53db583055bd5
commit f222ca9c46adfaab8cd4fda680e53db583055bd5
Author: Muhammad Moinur Rahman <bofh@FreeBSD.org>
AuthorDate: 2024-02-23 13:19:17 +0000
Commit: Muhammad Moinur Rahman <bofh@FreeBSD.org>
CommitDate: 2024-02-23 13:55:17 +0000
devel/menhir: Moved man to share/man
Approved by: portmgr (blanket)
---
devel/menhir/Makefile | 5 ++---
devel/menhir/pkg-plist | 2 +-
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile
index 858663616ade..9dbd0861326b 100644
--- a/devel/menhir/Makefile
+++ b/devel/menhir/Makefile
@@ -1,6 +1,6 @@
PORTNAME= menhir
PORTVERSION= 20170712
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= devel
MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/
@@ -30,8 +30,7 @@ OPTIONS_DEFINE= DOCS
post-patch:
@${REINPLACE_CMD} -e \
- 's|share/man|man| ; \
- s|doc/menhir|doc/ocaml/menhir| ; \
+ 's|doc/menhir|doc/ocaml/menhir| ; \
s| \($$(bindir)\)| $${DESTDIR}\1| ; \
s| \($$(libdir)\)| $${DESTDIR}\1| ; \
s| \($$(docdir)\)| $${DESTDIR}\1| ; \
diff --git a/devel/menhir/pkg-plist b/devel/menhir/pkg-plist
index 74b6817e58b6..12784fe8b8e0 100644
--- a/devel/menhir/pkg-plist
+++ b/devel/menhir/pkg-plist
@@ -1,5 +1,5 @@
bin/menhir
-man/man1/menhir.1.gz
+share/man/man1/menhir.1.gz
%%DATADIR%%/standard.mly
%%OCAML_SITELIBDIR%%/menhirSdk/META
%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.cmi