mirror of
https://git.freebsd.org/ports.git
synced 2025-07-18 01:39:16 -04:00
math/orpie: Moved man to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
1bd6f41c69
commit
0eeb45b61d
1 changed files with 4 additions and 3 deletions
|
@ -1,6 +1,6 @@
|
||||||
PORTNAME= orpie
|
PORTNAME= orpie
|
||||||
PORTVERSION= 1.5.2
|
PORTVERSION= 1.5.2
|
||||||
PORTREVISION= 8
|
PORTREVISION= 9
|
||||||
CATEGORIES+= math
|
CATEGORIES+= math
|
||||||
MASTER_SITES= https://github.com/pelzlpj/orpie/releases/download/release-${PORTVERSION}/
|
MASTER_SITES= https://github.com/pelzlpj/orpie/releases/download/release-${PORTVERSION}/
|
||||||
|
|
||||||
|
@ -20,11 +20,12 @@ USES= gmake ncurses
|
||||||
USE_OCAML= yes
|
USE_OCAML= yes
|
||||||
USE_OCAML_CAMLP4=yes
|
USE_OCAML_CAMLP4=yes
|
||||||
GNU_CONFIGURE= yes
|
GNU_CONFIGURE= yes
|
||||||
|
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
|
||||||
MAKE_JOBS_UNSAFE= yes
|
MAKE_JOBS_UNSAFE= yes
|
||||||
|
|
||||||
PLIST_FILES= bin/orpie bin/orpie-curses-keys etc/orpierc \
|
PLIST_FILES= bin/orpie bin/orpie-curses-keys etc/orpierc \
|
||||||
man/man1/orpie.1.gz man/man1/orpie-curses-keys.1.gz \
|
share/man/man1/orpie.1.gz share/man/man1/orpie-curses-keys.1.gz \
|
||||||
man/man5/orpierc.5.gz
|
share/man/man5/orpierc.5.gz
|
||||||
|
|
||||||
post-install:
|
post-install:
|
||||||
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
|
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
|
||||||
|
|
Loading…
Add table
Reference in a new issue