diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-01-07 14:43:45 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-01-07 14:43:45 +0000 |
| commit | ab62b6940f8002040d9020f82cecf6d016460d3c (patch) | |
| tree | f8bd6949dcc1de173d4c515aeb72aeb2e157d205 /astro/planets | |
| parent | 1c670bf2c545efb8a566228835236ac00bf86bf9 (diff) | |
| download | ports-ab62b6940f8002040d9020f82cecf6d016460d3c.tar.gz ports-ab62b6940f8002040d9020f82cecf6d016460d3c.zip | |
Notes
Diffstat (limited to 'astro/planets')
| -rw-r--r-- | astro/planets/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/astro/planets/Makefile b/astro/planets/Makefile index a3b58ecc994a..d4d7019b3d8d 100644 --- a/astro/planets/Makefile +++ b/astro/planets/Makefile @@ -11,7 +11,8 @@ MASTER_SITES= GENTOO \ MAINTAINER= ports@FreeBSD.org COMMENT= Orbital simulator -LICENSE= GPLv2 +LICENSE= GPLv2 # or later +LICENSE_FILE= ${WRKSRC}/COPYING USES= gmake tar:tgz USE_OCAML= yes @@ -25,6 +26,8 @@ OPTIONS_DEFINE= DOCS do-install: ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin ${INSTALL_MAN} ${WRKSRC}/planets.1 ${STAGEDIR}${MANPREFIX}/man/man1 + +do-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/KEYBINDINGS.txt ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/getting_started.html ${STAGEDIR}${DOCSDIR} |