CLI: optionally restore config data.

[notmuch.git] / doc / Makefile.local

diff --git a/doc/Makefile.local b/doc/Makefile.local
index e209749176243adf0142a8fa8ca27849838958d6..8633cfcd3b51e24b5df686f576271e63dbc69b4f 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)