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 6c7f4ff4d2d9..000000000000 --- a/mail/notmuch/files/patch-doc_Makefile.local +++ /dev/null @@ -1,11 +0,0 @@ ---- doc/Makefile.local.orig 2015-07-09 20:39:00 UTC -+++ doc/Makefile.local -@@ -7,7 +7,7 @@ SPHINXOPTS := -q - SPHINXBUILD = sphinx-build - DOCBUILDDIR := $(dir)/_build - --mkdocdeps := python $(srcdir)/$(dir)/mkdocdeps.py -+mkdocdeps := $(PYTHON) $(srcdir)/$(dir)/mkdocdeps.py - - # Internal variables. - ALLSPHINXOPTS := -d $(DOCBUILDDIR)/doctrees $(SPHINXOPTS) $(srcdir)/$(dir) |