From 58864b3cadb9555306e82800881c3993873fe942 Mon Sep 17 00:00:00 2001
From: Ezio Melotti <ezio.melotti@gmail.com>
Date: Sat, 27 Oct 2012 22:28:48 +0300
Subject: #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 cb56ea9..13411f2 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -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:
-- 
cgit v0.12