mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-28 01:06:17 +00:00
Code Issues Releases Activity

Fix the *.desktop installation, bump the PORTREVISION.

Browse Source 
Reported by:    pointyhat-exp
Approved by:    Related with our (FreeBSD GNOME Team) big change
This commit is contained in:
Jeremy Messenger 2007-10-25 17:44:42 +00:00
parent 7366ccfa22
commit 5a130b8b11
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=202008
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
math/proofgeneral/Makefile
View File

@ -7,7 +7,7 @@
PORTNAME= proofgeneral
PORTVERSION= 3.6
PORTREVISION= 6
PORTREVISION= 7
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME= ProofGeneral-3.6pre061107
@ -74,6 +74,9 @@ pre-build:
@${RM} ${WRKSRC}/.byte-compile || ${TRUE}
#.endif
pre-install:
@${MKDIR} ${PREIX}/share/applications
post-install:
@${CAT} ${PKGMESSAGE}