docs: add SPHINXBUILD make variable
This defaults to sphinx-build. The current use case is for the Evolve
Debian package build.
--- a/docs/makefile Sat Apr 27 20:56:37 2019 +0530
+++ b/docs/makefile Fri May 03 03:44:48 2019 +0530
@@ -1,6 +1,7 @@
+SPHINXBUILD ?= sphinx-build
all: tutorials/tutorial.rst tutorials/topic-tutorial.rst static/logo-evolve.ico
- sphinx-build . ../html/
+ $(SPHINXBUILD) . ../html/
tutorials/tutorial.rst: tutorials/tutorial.t test2rst.py
python test2rst.py tutorials/
@@ -10,5 +11,3 @@
static/logo-evolve.ico: static/logo-evolve.svg
convert -resize 36x36 static/logo-evolve.svg static/logo-evolve.ico
-
-