mirror of
https://git.freebsd.org/ports.git
synced 2025-07-18 17:59:20 -04:00
devel/ocaml-camlp5: Move man pages to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
a30b751cfd
commit
846b37d91d
2 changed files with 11 additions and 11 deletions
|
@ -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
|
||||
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Add table
Reference in a new issue