X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=doc%2FMakefile.local;h=dfe62295d0965fed478a75d06361ca123ae934bc;hb=cc8d837d5a137a14a62526dcea60af1de7a353e4;hp=bab3d0d286ce75efe68433b3a8c82ab87eac7dd6;hpb=71eaa19350883b30bafe885ea083c2e3f1621e10;p=notmuch

diff --git a/doc/Makefile.local b/doc/Makefile.local
index bab3d0d2..dfe62295 100644
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -56,7 +56,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.