diff options
author | anray <anray@FreeBSD.org> | 2007-03-06 03:38:17 +0800 |
---|---|---|
committer | anray <anray@FreeBSD.org> | 2007-03-06 03:38:17 +0800 |
commit | 6c1b45dcf84dadf27fa950a6c9c3c0ac34826242 (patch) | |
tree | 0dba3de3a7f43fc8c24b7b6810abf8692ec44a57 /math/proofgeneral | |
parent | c4da58a4754ba5d84ddba7bf36385e8aa02e98e3 (diff) | |
download | freebsd-ports-gnome-6c1b45dcf84dadf27fa950a6c9c3c0ac34826242.tar.gz freebsd-ports-gnome-6c1b45dcf84dadf27fa950a6c9c3c0ac34826242.tar.zst freebsd-ports-gnome-6c1b45dcf84dadf27fa950a6c9c3c0ac34826242.zip |
Fix deinstall and unbroke port.
PR: ports/109930
Submitted by: Timothy Bourke (maintainer)
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 |