diff options
Diffstat (limited to 'package/ejabberd/0006-remove-doc.patch')
| -rw-r--r-- | package/ejabberd/0006-remove-doc.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/package/ejabberd/0006-remove-doc.patch b/package/ejabberd/0006-remove-doc.patch deleted file mode 100644 index 0c0a21b9f4..0000000000 --- a/package/ejabberd/0006-remove-doc.patch +++ /dev/null @@ -1,26 +0,0 @@ -Description: remove installing documentation - Without this patch, the Makefile will try to install ejabberd - documentation even if it is not generated, which will fail. -Author: Johan Oudinet <johan.oudinet@gmail.com> - -Index: ejabberd/Makefile.in -=================================================================== ---- ejabberd.orig/Makefile.in 2014-10-21 16:43:42.604972005 +0200 -+++ ejabberd/Makefile.in 2014-10-21 16:45:12.419989667 +0200 -@@ -156,16 +156,6 @@ install: all - $(INSTALL) -d -m 750 $(O_USER) $(LOGDIR) - $(CHOWN_COMMAND) -R @INSTALLUSER@ $(LOGDIR) >$(CHOWN_OUTPUT) - chmod -R 750 $(LOGDIR) -- # -- # Documentation -- $(INSTALL) -d $(DOCDIR) -- $(INSTALL) -m 644 doc/dev.html $(DOCDIR) -- $(INSTALL) -m 644 doc/guide.html $(DOCDIR) -- $(INSTALL) -m 644 doc/*.png $(DOCDIR) -- [ -f doc/guide.pdf ] \ -- && $(INSTALL) -m 644 doc/guide.pdf $(DOCDIR) \ -- || echo "No doc/guide.pdf was built" -- $(INSTALL) -m 644 COPYING $(DOCDIR) - - uninstall: uninstall-binary - |
