Messages in this thread Patch in this message | | | From | Mauro Carvalho Chehab <> | Subject | [PATCH 5/5] doc: Makefile: if sphinx is not found, run a check script | Date | Sun, 16 Jul 2017 19:08:06 -0300 |
| |
Right now, if the building system doesn't find Sphinx, it bails out, without providing any instructions about what should be done.
Instead, run a script, providing some guidance about the steps needed for Sphinx build to work.
Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com> --- Documentation/Makefile | 2 ++ 1 file changed, 2 insertions(+)
diff --git a/Documentation/Makefile b/Documentation/Makefile index d75c00e3aadb..85f7856f0092 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -22,6 +22,8 @@ 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 @echo " SKIP Sphinx $@ target." else # HAVE_SPHINX -- 2.13.3
| |