summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorW. Trevor King <wking@tremily.us>2012-11-12 13:07:44 -0500
committerW. Trevor King <wking@tremily.us>2012-11-12 13:07:44 -0500
commitb0bf9d18cce9e0f70db29fa7083cfcfba64545f0 (patch)
tree60d7007a0ddb012dcdd8874637ec7b168d63e918
parent00b097daa32544ef18af275cc88a59fbbc374b59 (diff)
release.py: use Python 2.7 for sphinx-build
-rwxr-xr-xrelease.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/release.py b/release.py
index c248eda..2650a3f 100755
--- a/release.py
+++ b/release.py
@@ -134,7 +134,8 @@ def make_html_docs(docdir):
"""Generate docs so users won't need to install Sphinx, etc.
"""
print('generate HTML docs in {}'.format(docdir))
- status,stdout,stderr = invoke(['make', 'dirhtml'], cwd=docdir)
+ status,stdout,stderr = invoke(
+ ['make', 'SPHINXBUILD=sphinx-build-2.7', 'dirhtml'], cwd=docdir)
def create_tarball(tag):
release_name='be-%s' % tag