| commit | 8645890f8b00e427061cfcd58656f1904fed023b | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Oct 27 22:28:48 2012 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Oct 27 22:28:48 2012 +0300 |
| tree | ee94228a560bbc9415e520da6f8ae0bb51e99aeb | |
| parent | 3d072066c75865b230d27538c5c3afb9875321f9 [diff] [blame] |
#8040: enable the versionswitcher for the autobuild-dev target.
diff --git a/Doc/Makefile b/Doc/Makefile index 6e694c6..38745db 100644 --- a/Doc/Makefile +++ b/Doc/Makefile
@@ -169,7 +169,7 @@ # 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: