From 38d64b3851dd66de04717b7a3fcce4b31105bd37 Mon Sep 17 00:00:00 2001
From: Robin Dunn <robin@alldunn.com>
Date: Thu, 26 Sep 2019 20:12:38 -0700
Subject: [PATCH] Run sphinx with the target Python, not whatever happens to be
 on the PATH

---
 build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.py b/build.py
index 563b84fed..e16b1fa79 100755
--- a/build.py
+++ b/build.py
@@ -1093,7 +1093,7 @@ def cmd_sphinx(options, args):
     pwd2 = pushDir(sphinxDir)
     buildDir = os.path.join(sphinxDir, 'build')
     htmlDir = os.path.join(phoenixDir(), 'docs', 'html')
-    runcmd('sphinx-build -b html -d %s/doctrees . %s' % (buildDir, htmlDir))
+    runcmd('{} -m sphinx -b html -d {}/doctrees . {}'.format(PYTHON, buildDir, htmlDir))
     del pwd2
 
     msg('Postprocessing sphinx output...')