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, 11 insertions, 0 deletions
diff --git a/mail/notmuch/files/patch-doc_Makefile.local b/mail/notmuch/files/patch-doc_Makefile.local new file mode 100644 index 000000000000..08b8ad5de116 --- /dev/null +++ b/mail/notmuch/files/patch-doc_Makefile.local @@ -0,0 +1,11 @@ +--- 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. |