devel/ocaml-camlp5: Move man pages to share/man

Approved by: portmgr (blanket)
freebsd · Mar 6, 2024 · 846b37d · 846b37d
1 parent a30b751
commit 846b37d
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git a/devel/ocaml-camlp5/Makefile b/devel/ocaml-camlp5/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	camlp5
 PORTVERSION=	7.14
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 PKGNAMEPREFIX=	ocaml-
 
@@ -19,7 +19,7 @@ GH_TAGNAME=	rel${PORTVERSION:S/.//}
 USE_OCAML=	yes
 USE_PERL5=	build
 HAS_CONFIGURE=	yes
-CONFIGURE_ARGS=	--prefix ${PREFIX}
+CONFIGURE_ARGS=	--prefix ${PREFIX} --mandir ${PREFIX}/share/man
 ALL_TARGET=	world.opt
 MAKE_JOBS_UNSAFE=yes
 

diff --git a/devel/ocaml-camlp5/pkg-plist b/devel/ocaml-camlp5/pkg-plist
@@ -207,12 +207,12 @@ lib/ocaml/camlp5/token.cmx
 lib/ocaml/camlp5/token.mli
 lib/ocaml/camlp5/versdep.cmi
 lib/ocaml/camlp5/versdep.cmx
-man/man1/camlp5.1.gz
-man/man1/camlp5o.1.gz
-man/man1/camlp5o.opt.1.gz
-man/man1/camlp5r.1.gz
-man/man1/camlp5r.opt.1.gz
-man/man1/camlp5sch.1.gz
-man/man1/mkcamlp5.1.gz
-man/man1/mkcamlp5.opt.1.gz
-man/man1/ocpp5.1.gz
+share/man/man1/camlp5.1.gz
+share/man/man1/camlp5o.1.gz
+share/man/man1/camlp5o.opt.1.gz
+share/man/man1/camlp5r.1.gz
+share/man/man1/camlp5r.opt.1.gz
+share/man/man1/camlp5sch.1.gz
+share/man/man1/mkcamlp5.1.gz
+share/man/man1/mkcamlp5.opt.1.gz
+share/man/man1/ocpp5.1.gz