From 26498343647e67f22b18707a42319e6933b314fd Mon Sep 17 00:00:00 2001 From: Christian Weisgerber Date: Tue, 19 Mar 2024 11:00:36 +0100 Subject: [PATCH] shells/v7sh: Move man pages to share/man Approved by: portmgr (blanket) --- shells/v7sh/Makefile | 2 +- shells/v7sh/files/Makefile | 2 +- shells/v7sh/pkg-plist | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/shells/v7sh/Makefile b/shells/v7sh/Makefile index edb955556dfbc..e417a12dc4ba2 100644 --- a/shells/v7sh/Makefile +++ b/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 \ diff --git a/shells/v7sh/files/Makefile b/shells/v7sh/files/Makefile index 8a26e6001d342..ba6d108f97139 100644 --- a/shells/v7sh/files/Makefile +++ b/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 \ diff --git a/shells/v7sh/pkg-plist b/shells/v7sh/pkg-plist index 1e2a32315f0b2..b086bcba89def 100644 --- a/shells/v7sh/pkg-plist +++ b/shells/v7sh/pkg-plist @@ -1,2 +1,2 @@ @shell bin/v7sh -man/man1/v7sh.1.gz +share/man/man1/v7sh.1.gz