Mirrors
/
freebsd-ports
mirror of https://git.freebsd.org/ports.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

editors/jupp: Moved man to share/man 

Approved by:    portmgr (blanket)
2024Q2
Muhammad Moinur Rahman 2024-02-23 17:20:59 +01:00
parent 5590c36435
commit 5ef18d11b4
No known key found for this signature in database
GPG Key ID: BDB9B5A617C0BC91
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
editors/jupp/Makefile
View File

@ -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}

12
editors/jupp/pkg-plist
View File

@ -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