On Fri, 31 May 2019 04:19:29 +0800 kbuild test robot <lkp@xxxxxxxxx> wrote: > tree: git://git.lwn.net/linux-2.6 docs-next > head: a700767a7682d9bd237e927253274859aee075e7 > commit: 9b88ad5464af1bf7228991f1c46a9a13484790a4 [25/31] scripts/sphinx-pre-install: always check if version is compatible with build > reproduce: make htmldocs > > If you fix the issue, kindly add following tag > Reported-by: kbuild test robot <lkp@xxxxxxxxx> > > All errors (new ones prefixed by >>): > > >> /bin/bash: ./scripts/sphinx-pre-install: No such file or directory For this one, I'm guessing we need something like the following...disagree? jon -------- diff --git a/Documentation/Makefile b/Documentation/Makefile index e889e7cb8511..c98188994322 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -23,7 +23,7 @@ ifeq ($(HAVE_SPHINX),0) .DEFAULT: $(warning The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed and in PATH, or set the SPHINXBUILD make variable to point to the full path of the '$(SPHINXBUILD)' executable.) @echo - @./scripts/sphinx-pre-install + @$(srctree)/scripts/sphinx-pre-install @echo " SKIP Sphinx $@ target." else # HAVE_SPHINX