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