From 82c25876bac60ccc3ac041bae443a4d1726a51cf Mon Sep 17 00:00:00 2001 From: Benjamin Peterson Date: Sat, 22 Feb 2014 01:32:50 -0500 Subject: [PATCH] use sphinx from its own virtualenv (closes #20693) --- Doc/tools/dailybuild.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Doc/tools/dailybuild.py b/Doc/tools/dailybuild.py index f843117498..2cc3d8c2a1 100755 --- 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 -- 2.50.1