aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral/Makefile
diff options
context:
space:
mode:
authorDirk Meyer <dinoex@FreeBSD.org>2012-06-01 05:26:28 +0000
committerDirk Meyer <dinoex@FreeBSD.org>2012-06-01 05:26:28 +0000
commit2b74a89bc8342f0b9b737c37d87737caf7b0ea1e (patch)
treec04604583d8be53b3ed7f10975be828c731f87cb /math/proofgeneral/Makefile
parent24315159daa0089f08acea4ba1b130fb6721ad5c (diff)
downloadports-2b74a89bc8342f0b9b737c37d87737caf7b0ea1e.tar.gz
ports-2b74a89bc8342f0b9b737c37d87737caf7b0ea1e.zip
Notes
Diffstat (limited to 'math/proofgeneral/Makefile')
-rw-r--r--math/proofgeneral/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
index 8c048bff9b93..90b51b7cde87 100644
--- a/math/proofgeneral/Makefile
+++ b/math/proofgeneral/Makefile
@@ -7,6 +7,7 @@
PORTNAME= proofgeneral
PORTVERSION= 4.1
+PORTREVISION= 1
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
PKGNAMESUFFIX= -${EMACS_NAME}