diff -urN proofgeneral.orig/Makefile proofgeneral/Makefile
--- proofgeneral.orig/Makefile	2014-06-24 22:35:31.000000000 -0700
+++ proofgeneral/Makefile	2014-06-29 16:22:06.000000000 -0700
@@ -3,7 +3,7 @@
 
 PORTNAME=	proofgeneral
 PORTVERSION=	4.1
-PORTREVISION=	7
+PORTREVISION=	8
 CATEGORIES=	math elisp
 MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
 PKGNAMESUFFIX=	-${EMACS_NAME}
@@ -23,31 +23,30 @@
 INSTALLS_ICONS=	yes
 USES=		gmake perl5
 
-NO_STAGE=	yes
 .include <bsd.port.pre.mk>
 
 .if ${EMACS_NAME} == xemacs
 IGNORE=	the ProofGeneral developers no longer support XEmacs
 .endif
 
-MAKE_ARGS+=	PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${MAKE_CMD}" \
-	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \
-	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \
-	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \
-	ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
-	ELISP_START="${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
-	EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \
-	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
-	EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}"
+MAKE_ARGS+=	PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \
+	MAKE="${MAKE_CMD}" EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \
+	DOCDIR="${STAGEDIR}${DOCSDIR}" MANDIR="${STAGEDIR}${PREFIX}/man/man1" \
+	INFODIR="${STAGEDIR}${PREFIX}/info" \
+	BINDIR="${STAGEDIR}${PREFIX}/bin" DESKTOP="${STAGEDIR}${PREFIX}/share" \
+	EMACS_SITE_LISPDIR="${STAGEDIR}${EMACS_SITE_LISPDIR}" \
+	ELISPP="${STAGEDIR}${EMACS_SITE_LISPDIR}/ProofGeneral" \
+	ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
+	ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
+	DEST_ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral"
 
 SUB_FILES=	pkg-message
 SUB_LIST=	EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
 
-MAN1=		proofgeneral.1
 MANCOMPRESSED=	no
 INFO=		PG-adapting ProofGeneral
 
-.if !defined(NOPORTDOCS)
+.if ${PORT_OPTIONS:MDOCS}
 MAKE_ARGS+=	DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
 BUILD_DEPENDS+=	texi2html:${PORTSDIR}/textproc/texi2html
 .endif
diff -urN proofgeneral.orig/pkg-plist proofgeneral/pkg-plist
--- proofgeneral.orig/pkg-plist	2014-05-09 14:13:09.000000000 -0700
+++ proofgeneral/pkg-plist	2014-06-29 16:21:03.000000000 -0700
@@ -4,6 +4,7 @@
 bin/proofgeneral
 share/application-registry/proofgeneral.applications
 share/applications/proofgeneral.desktop
+man/man1/proofgeneral.1.gz
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el
--- proofgeneral.diff ends here ---