use sphinx from its own virtualenv (closes #20693)

diff --git a/Doc/tools/dailybuild.py b/Doc/tools/dailybuild.py
index f843117498a8f113bb74ce0b1d5c70acc77eb06d..2cc3d8c2a138254dc4246e4cdcdffe68a2932867 100755 (executable)
--- a/Doc/tools/dailybuild.py
+++ b/Doc/tools/dailybuild.py
@@ -29,6 +29,7 @@ import getopt
 
 
 BUILDROOT = '/home/gbrandl/docbuild'
+SPHINXBUILD = os.path.join(BUILDROOT, 'sphinx-env/bin/sphinx-build')
 WWWROOT = '/data/ftp.python.org/pub/docs.python.org'
 
 BRANCHES = [
@@ -47,7 +48,7 @@ def build_one(checkout, target, isdev, quick):
     print 'Running make autobuild'
     maketarget = 'autobuild-' + ('html' if quick else
                                  ('dev' if isdev else 'stable'))
-    if os.WEXITSTATUS(os.system('cd Doc; make %s' % maketarget)) == 2:
+    if os.WEXITSTATUS(os.system('cd Doc; make SPHINXBUILD=%s %s' % (SPHINXBUILD, maketarget))) == 2:
         print '*' * 80
         return
     print 'Copying HTML files to %s' % target