diff options
| author | Mauro Carvalho Chehab <mchehab@s-opensource.com> | 2017-07-16 18:08:06 -0400 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-08-24 15:18:30 -0400 |
| commit | 92a037f01ab3e7b8e5b0533faf42d4bbfce04e98 (patch) | |
| tree | e0667f9f8b09179d3a9eebdbb3611ab572e67543 /Documentation/Makefile | |
| parent | adf31eebd75e9e7c2eda222695637398b3872a68 (diff) | |
doc: Makefile: if sphinx is not found, run a check script
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>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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) | |||
| 22 | 22 | ||
| 23 | .DEFAULT: | 23 | .DEFAULT: |
| 24 | $(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.) | 24 | $(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.) |
| 25 | @echo | ||
| 26 | @./scripts/sphinx-pre-install | ||
| 25 | @echo " SKIP Sphinx $@ target." | 27 | @echo " SKIP Sphinx $@ target." |
| 26 | 28 | ||
| 27 | else # HAVE_SPHINX | 29 | else # HAVE_SPHINX |