Index: head/astro/planets/Makefile
===================================================================
--- head/astro/planets/Makefile	(revision 405444)
+++ head/astro/planets/Makefile	(revision 405445)
@@ -1,32 +1,35 @@
 # Created by: Ying-Chieh Liao <ijliao@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	planets
 PORTVERSION=	0.1.13
 PORTREVISION=	1
 CATEGORIES=	astro
 MASTER_SITES=	GENTOO \
 		http://planets.homedns.org/dist/
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Orbital simulator
 
-LICENSE=	GPLv2
+LICENSE=	GPLv2 # or later
+LICENSE_FILE=	${WRKSRC}/COPYING
 
 USES=		gmake tar:tgz
 USE_OCAML=	yes
 USE_OCAML_CAMLP4=yes
 USE_OCAML_TK=	yes
 USE_XORG=	x11
 ALL_TARGET=	${PORTNAME}
 
 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}
 
 .include <bsd.port.mk>