Skip to content

Commit

Permalink
shells/v7sh: Move man pages to share/man
Browse files Browse the repository at this point in the history
Approved by:	portmgr (blanket)
  • Loading branch information
Christian Weisgerber authored and Christian Weisgerber committed Mar 19, 2024
1 parent c31d1d1 commit 2649834
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion shells/v7sh/Makefile
@@ -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 \
Expand Down
2 changes: 1 addition & 1 deletion shells/v7sh/files/Makefile
@@ -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 \
Expand Down
2 changes: 1 addition & 1 deletion shells/v7sh/pkg-plist
@@ -1,2 +1,2 @@
@shell bin/v7sh
man/man1/v7sh.1.gz
share/man/man1/v7sh.1.gz

0 comments on commit 2649834

Please sign in to comment.