diff options
| author | Quentin Young <qlyoung@qlyoung.net> | 2018-02-20 12:29:30 -0500 |
|---|---|---|
| committer | Quentin Young <qlyoung@qlyoung.net> | 2018-02-20 12:29:30 -0500 |
| commit | adaf2d624b2c7552acd3d0683cb4d1393f5dcae4 (patch) | |
| tree | 046a7aecbfc94df86ea9d3090a92bffbb1493a30 /doc/user | |
| parent | 9cb4ba0a3eafaa414d5d7cc297d5411dbfe74a69 (diff) | |
doc: fallback to sphinx-1.0-build
Some platforms (actually just Centos6, again, of course) call
"sphinx-build" as "sphinx-1.0-build", and so to work around this
apparently useless name, fall back to sphinx-1.0-build when we can't
find sphinx-build before displaying an error message. I am not doing in
this the configure script because the sphinx makefiles are not Automake
files and the less Automake in tree the better.
Signed-off-by: Quentin Young <qlyoung@qlyoung.net>
Diffstat (limited to 'doc/user')
| -rw-r--r-- | doc/user/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user/Makefile b/doc/user/Makefile index 056b78e68e..e04e17d380 100644 --- a/doc/user/Makefile +++ b/doc/user/Makefile @@ -9,6 +9,9 @@ BUILDDIR = _build # User-friendly check for sphinx-build ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) +SPHINXBUILD = sphinx-1.0-build +endif +ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) $(error The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD environment variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/) endif |