Index: head/devel/pure-readline/Makefile
===================================================================
--- head/devel/pure-readline/Makefile	(revision 364275)
+++ head/devel/pure-readline/Makefile	(revision 364276)
@@ -1,35 +1,28 @@
 # Created by: Zhihao Yuan <lichray@gmail.com>
 # $FreeBSD$
 
 PORTNAME=	pure-readline
 PORTVERSION=	0.2
 CATEGORIES=	devel
 MASTER_SITES=	https://cdn.bitbucket.org/purelang/pure-lang/downloads/
 DIST_SUBDIR=	pure
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Readline interface for the Pure language
 
-LICENSE=	BSD GPLv3
+LICENSE=	BSD3CLAUSE GPLv3
 LICENSE_COMB=	dual
 
 USES=		pure readline
+PORTDOCS=	README
+OPTIONS_DEFINE=	DOCS
 
 PLIST_FILES=	lib/pure/readline.pure \
 		lib/pure/readline.so
 
-NO_STAGE=	yes
-
-PORTDOCS=	README
-
-OPTIONS_DEFINE=	DOCS
-
-.include <bsd.port.options.mk>
-
 post-install:
-.if ${PORT_OPTIONS:MDOCS}
-	@${MKDIR} ${DOCSDIR}
-	${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${DOCSDIR}
-.endif
+	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/pure/readline.so
+	@${MKDIR} ${STAGEDIR}${DOCSDIR}
+	${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR}
 
 .include <bsd.port.mk>