diff options
author | Ezio Melotti <ezio.melotti@gmail.com> | 2012-10-27 19:28:48 (GMT) |
---|---|---|
committer | Ezio Melotti <ezio.melotti@gmail.com> | 2012-10-27 19:28:48 (GMT) |
commit | 58864b3cadb9555306e82800881c3993873fe942 (patch) | |
tree | e0209b4ebb150475406926600f2cc7af6c5e5d09 | |
parent | 380ce651e940c977058cace141c6ed8a45b7d82a (diff) | |
download | cpython-58864b3cadb9555306e82800881c3993873fe942.zip cpython-58864b3cadb9555306e82800881c3993873fe942.tar.gz cpython-58864b3cadb9555306e82800881c3993873fe942.tar.bz2 |
#8040: enable the versionswitcher for the autobuild-dev target.
-rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index cb56ea9..13411f2 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -185,7 +185,7 @@ serve: # for development releases: always build autobuild-dev: make update - make dist SPHINXOPTS='-A daily=1' + make dist SPHINXOPTS='-A daily=1 -A versionswitcher=1' # for stable releases: only build if not in pre-release stage (alpha, beta, rc) autobuild-stable: |