#8040: enable the versionswitcher for the autobuild-dev target.

diff --git a/Doc/Makefile b/Doc/Makefile
index 6e694c6f6cb6ba8fb65c55a29f665e1c7e3793d0..38745db1b69940e55ded4325db3ecfc9b4715357 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -169,7 +169,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: