diff options
Diffstat (limited to 'comms/gnokii/files/patch-Docs-Makefile')
| -rw-r--r-- | comms/gnokii/files/patch-Docs-Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/comms/gnokii/files/patch-Docs-Makefile b/comms/gnokii/files/patch-Docs-Makefile deleted file mode 100644 index bb0fcc36c7e6..000000000000 --- a/comms/gnokii/files/patch-Docs-Makefile +++ /dev/null @@ -1,23 +0,0 @@ ---- Docs/Makefile.orig Tue Jul 8 23:23:28 2003 -+++ Docs/Makefile Tue Jul 8 23:24:48 2003 -@@ -63,6 +63,7 @@ - @echo - - install: -+ifndef NOPORTDOCS - $(INSTALL) -d $(DESTDIR)$(docdir) - $(INSTALL) -d $(DESTDIR)$(docdir)/sample/logo - $(INSTALL) -d $(DESTDIR)$(docdir)/sample/ringtone -@@ -79,10 +80,10 @@ - $(INSTALL_DATA) $(GNOKII1_MAN) $(DESTDIR)$(man1dir) - $(INSTALL_DATA) $(GNOKII8_MAN) $(DESTDIR)$(man8dir) - if [ "x$(HAVE_XGNOKII)" = "xyes" ]; then \ -- $(INSTALL) -d $(DESTDIR)$(xmandir); \ -- $(INSTALL_DATA) $(XGNOKII_MAN) $(DESTDIR)$(xmandir); \ -+ $(INSTALL) $(XGNOKII_MAN) $(DESTDIR)/$(xmandir)/xgnokii.1; \ - fi - @echo "done" -+endif - - clean: - $(RM) *~ |