From b5e15feee139096720272d2b435ce7c4114fda15 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Amadeusz=20Piotr=20=C5=BBo=C5=82nowski?= Date: Sat, 9 Mar 2019 22:42:21 +0000 Subject: [PATCH 2/2] Fix "jobserver unavailable" warning --- doc/Makefile.local | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.19.2