diff options
author | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-02-23 17:22:58 +0000 |
---|---|---|
committer | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-02-23 17:58:30 +0000 |
commit | b147394bc8753951f77e0159b516c4834b5859ba (patch) | |
tree | a9acf5c605e5635acdeaee507190fa869949dd9d | |
parent | cb893d93175f32ce74b02f9152de345ae34607e3 (diff) | |
download | ports-b147394bc8753951f77e0159b516c4834b5859ba.tar.gz ports-b147394bc8753951f77e0159b516c4834b5859ba.zip |
emulators/vmips: Moved man to share/man
Approved by: portmgr (blanket)
-rw-r--r-- | emulators/vmips/Makefile | 3 | ||||
-rw-r--r-- | emulators/vmips/pkg-plist | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/emulators/vmips/Makefile b/emulators/vmips/Makefile index 8c7ec21009f6..456240309c08 100644 --- a/emulators/vmips/Makefile +++ b/emulators/vmips/Makefile @@ -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 diff --git a/emulators/vmips/pkg-plist b/emulators/vmips/pkg-plist index a1c7841621a1..0c18e476c82e 100644 --- a/emulators/vmips/pkg-plist +++ b/emulators/vmips/pkg-plist @@ -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 |