diff options
Diffstat (limited to 'mail/notmuch/files/patch-doc_Makefile.local')
| -rw-r--r-- | mail/notmuch/files/patch-doc_Makefile.local | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/mail/notmuch/files/patch-doc_Makefile.local b/mail/notmuch/files/patch-doc_Makefile.local deleted file mode 100644 index 08b8ad5de116..000000000000 --- a/mail/notmuch/files/patch-doc_Makefile.local +++ /dev/null @@ -1,11 +0,0 @@ ---- doc/Makefile.local.orig 2018-06-16 21:06:47 UTC -+++ doc/Makefile.local -@@ -44,7 +44,7 @@ sphinx-texinfo: - $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(DOCBUILDDIR)/texinfo - - sphinx-info: sphinx-texinfo -- make -C $(DOCBUILDDIR)/texinfo info -+ $(MAKE) -C $(DOCBUILDDIR)/texinfo info - - # Use the man page converter that is available. We should never depend - # on MAN_ROFF_FILES if a converter is not available. |