build: do not touch roff files after sphinx-build

[notmuch] / doc / Makefile.local

diff --git a/doc/Makefile.local b/doc/Makefile.local
index e209749176243adf0142a8fa8ca27849838958d6..5dc1cad489cc4722252962d4dc70fbd5aa20de5d 100644 (file)
--- a/doc/Makefile.local
+++ b/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)
@@ -53,7 +53,7 @@ else
        @echo "Fatal: build dependency fail."
        @false
 endif
-       touch ${MAN_ROFF_FILES} $@
+       touch $@
 
 install-man: install-apidocs