#8040: merge with 3.2.

This commit is contained in:
Ezio Melotti 2012-10-27 22:29:50 +03:00
commit fe71bb52e4
1 changed files with 1 additions and 1 deletions

View File

@ -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: