summaryrefslogtreecommitdiffstats
path: root/documentation/Makefile.sphinx
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/Makefile.sphinx')
-rw-r--r--documentation/Makefile.sphinx4
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/Makefile.sphinx b/documentation/Makefile.sphinx
index c663c29540..c9518558bb 100644
--- a/documentation/Makefile.sphinx
+++ b/documentation/Makefile.sphinx
@@ -9,6 +9,10 @@ SOURCEDIR = .
9BUILDDIR = _build 9BUILDDIR = _build
10DESTDIR = final 10DESTDIR = final
11 11
12ifeq ($(shell if which $(SPHINXBUILD) >/dev/null 2>&1; then echo 1; else echo 0; fi),0)
13$(error "The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed")
14endif
15
12# Put it first so that "make" without argument is like "make help". 16# Put it first so that "make" without argument is like "make help".
13help: 17help:
14 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) 18 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)