diff options
| author | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-03-31 12:58:43 +0000 |
|---|---|---|
| committer | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-03-31 12:58:43 +0000 |
| commit | 6ad5b18fa8c82462631e07bbed18dcf0fdb360d4 (patch) | |
| tree | 39d26a3483edb5d9286b0ef0b04114dfe06c109d /math/proofgeneral/Makefile | |
| parent | 5abbad498e069ab15461eda39c88ea10c7d457bf (diff) | |
| download | ports-6ad5b18fa8c82462631e07bbed18dcf0fdb360d4.tar.gz ports-6ad5b18fa8c82462631e07bbed18dcf0fdb360d4.zip | |
Notes
Diffstat (limited to 'math/proofgeneral/Makefile')
| -rw-r--r-- | math/proofgeneral/Makefile | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 284fce62518c..4098742d30f6 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -1,13 +1,9 @@ -# New ports collection makefile for: proofgeneral -# Date created: 11 August 2005 -# Whom: Timothy Bourke <timbob@bigpond.com> -# +# Created by: Timothy Bourke <timbob@bigpond.com> # $FreeBSD$ -# PORTNAME= proofgeneral PORTVERSION= 4.1 -PORTREVISION= 5 +PORTREVISION= 6 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ PKGNAMESUFFIX= -${EMACS_NAME} @@ -30,12 +26,6 @@ USE_PERL5= yes .include <bsd.port.pre.mk> -.ifdef (PACKAGE_BUILDING) -PLIST_SUB+= PACKAGE_BUILDING="@comment " -.else -PLIST_SUB+= PACKAGE_BUILDING="" -.endif - .if ${EMACS_NAME} == xemacs IGNORE= the ProofGeneral developers no longer support XEmacs .endif |