diff options
author | Andrey Slusar <anray@FreeBSD.org> | 2007-03-05 19:38:17 +0000 |
---|---|---|
committer | Andrey Slusar <anray@FreeBSD.org> | 2007-03-05 19:38:17 +0000 |
commit | 5a404d2004148308e2541b0fc5ba403fb6159459 (patch) | |
tree | 31c011d8bbf76e6fbe90a76306cf82f9ee3e6f67 /math/proofgeneral | |
parent | 8104ec8cbc20f839de8605a68e259847791907fc (diff) | |
download | ports-5a404d2004148308e2541b0fc5ba403fb6159459.tar.gz ports-5a404d2004148308e2541b0fc5ba403fb6159459.zip |
Notes
Diffstat (limited to 'math/proofgeneral')
-rw-r--r-- | math/proofgeneral/Makefile | 2 | ||||
-rw-r--r-- | math/proofgeneral/files/patch-Makefile | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 612bafb0cef4..1503d124d84e 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -20,8 +20,6 @@ PKGNAMESUFFIX+= -${EMACS_NAME} BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash RUN_DEPENDS+= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme -BROKEN= Incomplete pkg-plist - # # Unless EMACS_PORT_NAME is overriden by the user, # use any installed version of [X]Emacs. diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile index e2c5b6515c59..2de740aac490 100644 --- a/math/proofgeneral/files/patch-Makefile +++ b/math/proofgeneral/files/patch-Makefile @@ -1,5 +1,5 @@ --- Makefile.orig Sat Sep 23 05:26:01 2006 -+++ Makefile Tue Jan 2 10:42:43 2007 ++++ Makefile Mon Mar 5 19:53:43 2007 @@ -15,7 +15,7 @@ # Set this to "emacs" or "xemacs" according to your version of Emacs. @@ -85,8 +85,9 @@ + fi + # backwards compatibility with old linuxes - mkdir -p ${DESKTOP}/application-registry +- mkdir -p ${DESKTOP}/application-registry - cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry ++ mkdir -p ${DESKTOP}/gnome/application-registry + cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry # NB: .el files are not strictly necessary, but we package/install them |