From 83f064a1f0804121a8fb1a5446336f10ced0b6b0 Mon Sep 17 00:00:00 2001
From: Tim Bentley <tim.bentley@gmail.com>
Date: Wed, 2 Sep 2015 21:17:15 +0100
Subject: [PATCH] fix build script

---
 manual/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/Makefile b/manual/Makefile
index 7584f3c..b516693 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -3,7 +3,7 @@
 
 # You can set these variables from the command line.
 SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build-3
+SPHINXBUILD   = `which sphinx-build-3 || which sphinx-build`
 PAPER         =
 
 # Internal variables.