diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2014-09-18 12:31:24 +0000 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2014-09-18 12:31:24 +0000 |
| commit | 46cf4bcb84b99c5637a0b1539ab29ec6453cd483 (patch) | |
| tree | 4577ab4cc236d536b9a0cc3950ccda2713cedba5 /math/proofgeneral | |
| parent | - Make FONTCONFIG a default OPTION (diff) | |
Retire MANCOMPRESSED.
Also the compat NO_INSTALL_MANPAGES shim.
Differential Revision: https://reviews.freebsd.org/D730
Reviewed by: antoine
With hat: portmgr
Sponsored by: Absolight
Notes
Notes:
svn path=/head/; revision=368446
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} |