diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2018-06-09 16:11:23 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2018-06-09 16:11:23 +0000 |
| commit | a95750e776c3508e741b5573a301fbc38ff9d1c3 (patch) | |
| tree | 1a5a279cef82e98f73368172bda8f93984dace34 | |
| parent | - Add LICENSE (diff) | |
- Switch to options helpers
| -rw-r--r-- | games/puckman/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/games/puckman/Makefile b/games/puckman/Makefile index 5063eb6c1671..839ff62ea507 100644 --- a/games/puckman/Makefile +++ b/games/puckman/Makefile @@ -45,6 +45,7 @@ do-install: ${INSTALL_DATA} ${_DISTDIR}/${PORTNAME}.png \ ${STAGEDIR}${PREFIX}/share/pixmaps/ +do-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR} |