summaryrefslogtreecommitdiff
path: root/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
diff options
context:
space:
mode:
authorMichael Scheidell <scheidell@FreeBSD.org>2012-04-19 22:38:31 +0000
committerMichael Scheidell <scheidell@FreeBSD.org>2012-04-19 22:38:31 +0000
commit77a5fc6b3f0f3719dd7b2e6a855fa826b381a7c7 (patch)
tree5c3742fa4cc6747da32740e01ceb856d3dbed9d1 /math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
parentDon't install *.orig files to unbreak build on pointyhat [1] (diff)
- Update to 4.1
- Fix build on amd64 - XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs may be used - Omit pdf compilation since a newer version of latex then is in ports is needed - Use PORTDOCS= macros to simplefy Makefile and pkg-plist PR: ports/166867 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer0
Diffstat (limited to 'math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop')
-rw-r--r--math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop4
1 files changed, 2 insertions, 2 deletions
diff --git a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
index aefef292bf1c..04bae45e1bcc 100644
--- a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
+++ b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
@@ -1,5 +1,5 @@
---- etc/desktop/proofgeneral.desktop.orig Thu Dec 8 07:40:38 2005
-+++ etc/desktop/proofgeneral.desktop Thu Dec 8 07:41:03 2005
+--- etc/desktop/proofgeneral.desktop.orig 2012-04-11 20:39:33.000000000 -0700
++++ etc/desktop/proofgeneral.desktop 2012-04-11 20:41:16.000000000 -0700
@@ -5,7 +5,7 @@
Name=Proof General
GenericName=Theorem proving environment