diff options
| author | Ezio Melotti <ezio.melotti@gmail.com> | 2012-10-27 22:30:04 +0300 |
|---|---|---|
| committer | Ezio Melotti <ezio.melotti@gmail.com> | 2012-10-27 22:30:04 +0300 |
| commit | 9375ff1c5c7de64d233664c9c593844c9f8b611c (patch) | |
| tree | 63b0dbbe8fc5482e42fcb2e9d12bd0598b8b2b2f | |
| parent | 1543b8c77e85ca8c5c2a43cd898e489d242b84cb (diff) | |
| parent | fe71bb52e4e845524233103915b8890b3a9e5f01 (diff) | |
| download | cpython-git-9375ff1c5c7de64d233664c9c593844c9f8b611c.tar.gz | |
#8040: merge with 3.3.
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 6a804d4b42..a6dc1e289f 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: |