diff options
author | Michael Scheidell <scheidell@FreeBSD.org> | 2012-04-19 22:38:31 +0000 |
---|---|---|
committer | Michael Scheidell <scheidell@FreeBSD.org> | 2012-04-19 22:38:31 +0000 |
commit | 77a5fc6b3f0f3719dd7b2e6a855fa826b381a7c7 (patch) | |
tree | 5c3742fa4cc6747da32740e01ceb856d3dbed9d1 /math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop | |
parent | Don'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.desktop | 4 |
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 |