blob: 08b8ad5de11657773aa702009521b1788be3f32b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
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.
|
