shells/v7sh: Move man pages to share/man
Approved by: portmgr (blanket)
This commit is contained in:
parent
c31d1d15f8
commit
2649834364
|
@ -1,6 +1,6 @@
|
|||
PORTNAME= v7sh
|
||||
PORTVERSION= 1.0
|
||||
PORTREVISION= 1
|
||||
PORTREVISION= 2
|
||||
CATEGORIES= shells
|
||||
MASTER_SITES= https://BSDforge.com/projects/source/shells/v7sh/
|
||||
DISTFILES= args.c blok.c brkincr.h builtin.c cmd.c \
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
PREFIX?= /usr/local
|
||||
BINDIR?= ${PREFIX}/bin
|
||||
MANDIR?= ${PREFIX}/man/man
|
||||
MANDIR?= ${PREFIX}/share/man/man
|
||||
|
||||
PROG= v7sh
|
||||
SRCS= args.c blok.c builtin.c cmd.c ctype.c error.c expand.c \
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
@shell bin/v7sh
|
||||
man/man1/v7sh.1.gz
|
||||
share/man/man1/v7sh.1.gz
|
||||
|
|
Loading…
Reference in New Issue