diff options
| -rw-r--r-- | benchmarks/interbench/Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/benchmarks/interbench/Makefile b/benchmarks/interbench/Makefile index ff1fd798e48..13193bbc9ef 100644 --- a/benchmarks/interbench/Makefile +++ b/benchmarks/interbench/Makefile @@ -16,8 +16,7 @@ USES= gmake MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS}" ALL_TARGET= ${PORTNAME} -MAN8= ${PORTNAME}.8 -PLIST_FILES= bin/${PORTNAME} +PLIST_FILES= bin/${PORTNAME} man/man8/${PORTNAME}.8.gz PORTDOCS= readme readme.interactivity OPTIONS_DEFINE= DOCS @@ -25,7 +24,7 @@ OPTIONS_DEFINE= DOCS post-patch: # Do not confuse the reader that this program is Linux-specific @${REINPLACE_CMD} -e '/kernel/!s,Linux,Unix-like systems, ; \ - /kernel/s,Linux,the,' ${WRKSRC}/${MAN8} + /kernel/s,Linux,the,' ${WRKSRC}/${PORTNAME}.8 pre-build: # Remove stale Linuxish object files and binaries; setting ALL_TARGET to @@ -34,7 +33,7 @@ pre-build: do-install: ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin - ${INSTALL_MAN} ${WRKSRC}/${MAN8} ${STAGEDIR}${MANPREFIX}/man/man8 + ${INSTALL_MAN} ${WRKSRC}/${PORTNAME}.8 ${STAGEDIR}${MANPREFIX}/man/man8 @${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/,} ${STAGEDIR}${DOCSDIR} |