1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00:00

emulators/vmips: Moved man to share/man

Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-23 18:22:58 +01:00
parent cb893d9317
commit b147394bc8
No known key found for this signature in database
GPG Key ID: BDB9B5A617C0BC91
2 changed files with 4 additions and 3 deletions

View File

@ -1,6 +1,6 @@
PORTNAME= vmips
PORTVERSION= 1.5.1
PORTREVISION= 2
PORTREVISION= 3
CATEGORIES= emulators
MASTER_SITES= SF \
http://www.dgate.org/vmips/releases/${DISTNAME}/
@ -14,6 +14,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING
USES= gmake
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
USE_CSTD= gnu99
USE_CXXSTD= gnu++98

View File

@ -4,5 +4,5 @@ etc/vmipsrc
include/vmips/asm_regnames.h
%%DATADIR%%/ld.script
%%DATADIR%%/setup.S
man/man1/vmips.1.gz
man/man1/vmipstool.1.gz
share/man/man1/vmips.1.gz
share/man/man1/vmipstool.1.gz