Lines 1-5
Link Here
|
1 |
--- Makefile.orig Sat Sep 23 05:26:01 2006 |
1 |
--- Makefile.orig Sat Sep 23 05:26:01 2006 |
2 |
+++ Makefile Tue Jan 2 10:42:43 2007 |
2 |
+++ Makefile Mon Mar 5 19:53:43 2007 |
3 |
@@ -15,7 +15,7 @@ |
3 |
@@ -15,7 +15,7 @@ |
4 |
|
4 |
|
5 |
# Set this to "emacs" or "xemacs" according to your version of Emacs. |
5 |
# Set this to "emacs" or "xemacs" according to your version of Emacs. |
Lines 85-92
Link Here
|
85 |
+ fi |
85 |
+ fi |
86 |
+ |
86 |
+ |
87 |
# backwards compatibility with old linuxes |
87 |
# backwards compatibility with old linuxes |
88 |
mkdir -p ${DESKTOP}/application-registry |
88 |
- mkdir -p ${DESKTOP}/application-registry |
89 |
- cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry |
89 |
- cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry |
|
|
90 |
+ mkdir -p ${DESKTOP}/gnome/application-registry |
90 |
+ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry |
91 |
+ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry |
91 |
|
92 |
|
92 |
# NB: .el files are not strictly necessary, but we package/install them |
93 |
# NB: .el files are not strictly necessary, but we package/install them |