summaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorJeremy Messenger <mezz@FreeBSD.org>2007-10-27 19:44:46 +0000
committerJeremy Messenger <mezz@FreeBSD.org>2007-10-27 19:44:46 +0000
commitb9277e9693e4d16404bd5cd5c165d84a901e4604 (patch)
treea55b8dc3ca94d648cda499255c2b03e9f89b57c0 /math/proofgeneral
parentMark net/avahi-autoipd IGNORE on 5.x and lower due to outdated libpcap library (diff)
Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..
A typo of PREFIX, fix it and should fix the *.desktop installation. Bump the PORTREVISION. Reported by: pointyhat Approved by: Related with our (FreeBSD GNOME Team) big change
Notes
Notes: svn path=/head/; revision=202163
Diffstat (limited to 'math/proofgeneral')
-rw-r--r--math/proofgeneral/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
index c5a6e0a2806c..298e87dfc6c0 100644
--- a/math/proofgeneral/Makefile
+++ b/math/proofgeneral/Makefile
@@ -7,7 +7,7 @@
PORTNAME= proofgeneral
PORTVERSION= 3.6
-PORTREVISION= 7
+PORTREVISION= 8
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME= ProofGeneral-3.6pre061107
@@ -75,7 +75,7 @@ pre-build:
#.endif
pre-install:
- @${MKDIR} ${PREIX}/share/applications
+ @${MKDIR} ${PREFIX}/share/applications
post-install:
@${CAT} ${PKGMESSAGE}