diff options
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 618f354206e6..7042f9dbf3bb 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -43,7 +43,6 @@ MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \ SUB_FILES= pkg-message SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} -MANCOMPRESSED= no INFO= PG-adapting ProofGeneral .if ${PORT_OPTIONS:MDOCS} |