diff docs/makefile @ 4631:150be007f421 stable

docs: add SPHINXBUILD make variable This defaults to sphinx-build. The current use case is for the Evolve Debian package build.
author Faheem Mitha <faheem@faheem.info>
date Fri, 03 May 2019 03:44:48 +0530
parents 1a4f26eec0af
children 77729ad7cb0c
line wrap: on
line diff
--- 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
-
-