#8040: merge with 3.3.
This commit is contained in:
commit
9375ff1c5c
|
@ -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:
|
||||
|
|
Loading…
Reference in New Issue