Index: head/security/paperkey/Makefile
===================================================================
--- head/security/paperkey/Makefile	(revision 403832)
+++ head/security/paperkey/Makefile	(revision 403833)
@@ -1,36 +1,32 @@
 # Created by: Peter Pentchev <roam@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	paperkey
 PORTVERSION=	1.3
 PORTREVISION=	1
 CATEGORIES=	security
 MASTER_SITES=	http://www.jabberwocky.com/software/paperkey/ \
 		http://mirrors.rit.edu/zi/
 
 MAINTAINER=	zi@FreeBSD.org
 COMMENT=	Extract just the secret information out of OpenPGP secret keys
 
 LICENSE=	GPLv2
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 GNU_CONFIGURE=	yes
 
 PLIST_FILES=	bin/paperkey man/man1/paperkey.1.gz
 PORTDOCS=	NEWS README
 
 OPTIONS_DEFINE=	DOCS
 
-.include <bsd.port.options.mk>
-
 # Setting ALL_TARGET to "all check" is racy and breaks parallel builds
 post-build:
 	${MAKE} -C ${BUILD_WRKSRC} check
 
-post-install:
-.if ${PORT_OPTIONS:MDOCS}
+post-install-DOCS-on:
 	@${MKDIR} ${STAGEDIR}${DOCSDIR}
 	${INSTALL_DATA} ${PORTDOCS:S@^@${WRKSRC}/@} ${STAGEDIR}${DOCSDIR}
-.endif
 
 .include <bsd.port.mk>