diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-07-12 09:00:11 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-07-12 09:00:11 +0000 |
| commit | 5c187769fe2fdc53658277ade888287910b65b6d (patch) | |
| tree | 262ae4d35887d34f52ab8ddaecf26c9794bb644d | |
| parent | security/libargon2: add new port (diff) | |
- Switch to options helpers
Notes
Notes:
svn path=/head/; revision=418417
| -rw-r--r-- | lang/mixal/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/mixal/Makefile b/lang/mixal/Makefile index df49cf2bafb4..7669b3c5deca 100644 --- a/lang/mixal/Makefile +++ b/lang/mixal/Makefile @@ -18,6 +18,8 @@ OPTIONS_DEFINE= DOCS do-install: ${INSTALL_PROGRAM} ${WRKSRC}/mixal ${STAGEDIR}${PREFIX}/bin ${INSTALL_MAN} ${WRKSRC}/mixal.1 ${STAGEDIR}${MANPREFIX}/man/man1 + +do-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} .for f in MIX.DOC NOTES README opcodes *.mix ${INSTALL_DATA} ${WRKSRC}/${f} ${STAGEDIR}${DOCSDIR} |