From 8645890f8b00e427061cfcd58656f1904fed023b Mon Sep 17 00:00:00 2001 From: Ezio Melotti Date: Sat, 27 Oct 2012 22:28:48 +0300 Subject: [PATCH] #8040: enable the versionswitcher for the autobuild-dev target. --- Doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/Makefile b/Doc/Makefile index 6e694c6f6cb..38745db1b69 100644 --- 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: