# HG changeset patch
# User Faheem Mitha <faheem@faheem.info>
# Date 1556835288 -19800
# Node ID 150be007f42110a8e1bf9c9d1f8b281e2aee6508
# Parent  f394b41fcbc7552726bcd2ccfe298c84d8f7b926
docs: add SPHINXBUILD make variable

This defaults to sphinx-build. The current use case is for the Evolve
Debian package build.

diff -r f394b41fcbc7 -r 150be007f421 docs/makefile
--- 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
-
-