use sphinx from its own virtualenv (closes #20693)
diff --git a/Doc/tools/dailybuild.py b/Doc/tools/dailybuild.py
index f843117..2cc3d8c 100755
--- a/Doc/tools/dailybuild.py
+++ b/Doc/tools/dailybuild.py
@@ -29,6 +29,7 @@
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 @@
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