diff --git a/devel/pure-readline/Makefile b/devel/pure-readline/Makefile
index 66d2b4041bd5..4330e48094c1 100644
--- a/devel/pure-readline/Makefile
+++ b/devel/pure-readline/Makefile
@@ -10,18 +10,21 @@ DIST_SUBDIR=	pure
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Readline interface for the Pure language
 
-LICENSE=	BSD3CLAUSE GPLv3
+LICENSE=	BSD3CLAUSE GPLv3+
 LICENSE_COMB=	dual
 
 USES=		pkgconfig pure readline
-PORTDOCS=	README
-OPTIONS_DEFINE=	DOCS
 
+PORTDOCS=	README
 PLIST_FILES=	lib/pure/readline.pure \
 		lib/pure/readline.so
 
+OPTIONS_DEFINE=	DOCS
+
 post-install:
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/pure/readline.so
+
+post-install-DOCS-on:
 	@${MKDIR} ${STAGEDIR}${DOCSDIR}
 	${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR}