diff options
-rw-r--r-- | mail/pgp4pine/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mail/pgp4pine/Makefile b/mail/pgp4pine/Makefile index e56d1700806c..503e2d13f6ac 100644 --- a/mail/pgp4pine/Makefile +++ b/mail/pgp4pine/Makefile @@ -14,6 +14,7 @@ DISTNAME= ${PORTNAME}-${PORTVERSION}-1 MAINTAINER= holger@flatline.de +WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} MAN1= pgp4pine.1 GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-docdir=${PREFIX}/share/doc |