77a5fc6b3f
- 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
11 lines
400 B
Desktop File
11 lines
400 B
Desktop File
--- 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
|
|
Comment=Organise your proofs!
|
|
-Icon=proofgeneral.png
|
|
+Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png
|
|
FilePattern=proofgeneral
|
|
TryExec=proofgeneral
|
|
Exec=proofgeneral %F
|