diff options
Diffstat (limited to 'astro')
| -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} |