[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <CA+r1ZhjRVqkjPXGOGB_BOAX2Hkfb+qQCtTzFfBMFeH1Mfeej7w@mail.gmail.com>
Date: Fri, 27 Jan 2017 15:47:56 -0700
From: Jim Davis <jim.epost@...il.com>
To: linux-doc <linux-doc@...r.kernel.org>,
linux-kernel <linux-kernel@...r.kernel.org>
Subject: Extra messages from Makefile.sphinx
On a sphinx-free Ubuntu system with 4.10-rc5, make installmandocs
works just fine, but the garrulous Makefile.sphinx twice tells me I
don't have sphinx-build installed:
Documentation/Makefile.sphinx:22: The 'sphinx-build' 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 'sphinx-build'
executable.
SKIP Sphinx include/config/auto.conf target.
Documentation/Makefile.sphinx:22: The 'sphinx-build' 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 'sphinx-build'
executable.
SKIP Sphinx installmandocs target.
Would the 'SKIP ...' statements suffice? It happens with make
cleandocs and make mandocs too.
--
Jim
Powered by blists - more mailing lists