diff options
Diffstat (limited to 'editors/mined/files/patch-src__mkinclud.mak')
| -rw-r--r-- | editors/mined/files/patch-src__mkinclud.mak | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/editors/mined/files/patch-src__mkinclud.mak b/editors/mined/files/patch-src__mkinclud.mak new file mode 100644 index 000000000000..6a0807b028c9 --- /dev/null +++ b/editors/mined/files/patch-src__mkinclud.mak @@ -0,0 +1,23 @@ +--- ./src/mkinclud.mak.orig 2011-11-15 00:00:00.000000000 +0100 ++++ ./src/mkinclud.mak 2011-11-20 19:28:39.000000000 +0100 +@@ -566,7 +566,7 @@ + mkdir -p $(DESTDIR)$(mandir)/man1 + $(INSTALL) ../man/*.1 $(DESTDIR)$(mandir)/man1 + # zip man if mans are zipped in actual mandir (not DESTDIR) +- if (ls $(mandir)/man1/*.gz && type gzip) > /dev/null 2>&1; then gzip -f $(DESTDIR)$(mandir)/man1/mined.1; fi ++ #if (ls $(mandir)/man1/*.gz && type gzip) > /dev/null 2>&1; then gzip -f $(DESTDIR)$(mandir)/man1/mined.1; fi + # ==== install desktop context menu item ("Open With") + ( $(rootmenu) && $(rooticon) ) || ( $(usermenu) && $(usericon) ) || echo Could not install desktop menu entry + # ==== install system-specific stuff (e.g. wined, README.cygwin) +@@ -587,9 +587,9 @@ + /bin/cp -pr ../usrshare/* $(DESTDIR)$(lrundir) + # ==== install manual page + mkdir -p $(DESTDIR)$(lmandir)/man1 +- $(INSTALL) ../man/*.1 $(DESTDIR)$(lmandir)/man1 ++ $(BSD_INSTALL_MAN) ../man/*.1 $(DESTDIR)$(lmandir)/man1 + # zip man if mans are zipped in actual mandir (not DESTDIR) +- if (ls $(lmandir)/man1/*.gz && type gzip) > /dev/null 2>&1; then gzip -f $(DESTDIR)$(lmandir)/man1/mined.1; fi ++ #if (ls $(lmandir)/man1/*.gz && type gzip) > /dev/null 2>&1; then gzip -f $(DESTDIR)$(lmandir)/man1/mined.1; fi + # ==== install desktop context menu item ("Open With") + ( $(localmenu) && $(localicon) ) || ( $(usermenu) && $(usericon) ) || echo Could not install desktop menu entry + # ==== install system-specific stuff (e.g. wined, README.cygwin) |