#8040: merge with 3.2.

ezio-melotti · ezio-melotti · commit fe71bb52e4e8 · 2012-10-27T22:29:50.000+03:00
diff --git 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:
