docs/makefile
branchstable
changeset 4631 150be007f421
parent 2960 1a4f26eec0af
child 5226 38d225efcea9
--- 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
-
-