From 5ef18d11b48a84115eed9da2d065cbda32e4619a Mon Sep 17 00:00:00 2001 From: Muhammad Moinur Rahman Date: Fri, 23 Feb 2024 17:20:59 +0100 Subject: [PATCH] editors/jupp: Moved man to share/man Approved by: portmgr (blanket) --- editors/jupp/Makefile | 2 ++ editors/jupp/pkg-plist | 12 ++++++------ 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/editors/jupp/Makefile b/editors/jupp/Makefile index 601efca74b8e..042c786b7033 100644 --- a/editors/jupp/Makefile +++ b/editors/jupp/Makefile @@ -1,5 +1,6 @@ PORTNAME= jupp PORTVERSION= 3.1.41 +PORTREVISION= 1 CATEGORIES= editors MASTER_SITES= http://www.mirbsd.org/MirOS/dist/jupp/ \ http://pub.allbsd.org/MirOS/dist/jupp/ @@ -15,6 +16,7 @@ CONFLICTS= joe USES= tar:tgz GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX=${PREFIX}/share CONFIGURE_ARGS= --disable-termidx WRKSRC= ${WRKDIR}/${PORTNAME} diff --git a/editors/jupp/pkg-plist b/editors/jupp/pkg-plist index 3c10d4ef2c12..ea90c7048503 100644 --- a/editors/jupp/pkg-plist +++ b/editors/jupp/pkg-plist @@ -32,9 +32,9 @@ etc/joe/syntax/tex.jsf etc/joe/syntax/verilog.jsf etc/joe/syntax/vhdl.jsf etc/joe/syntax/xml.jsf -man/man1/jmacs.1.gz -man/man1/joe.1.gz -man/man1/jpico.1.gz -man/man1/jstar.1.gz -man/man1/jupp.1.gz -man/man1/rjoe.1.gz +share/man/man1/jmacs.1.gz +share/man/man1/joe.1.gz +share/man/man1/jpico.1.gz +share/man/man1/jstar.1.gz +share/man/man1/jupp.1.gz +share/man/man1/rjoe.1.gz