changeset:   79981:5c30f8fdd896
branch:      3.3
parent:      79977:9505a34b4484
parent:      79980:740be7346c92
user:        Ezio Melotti <ezio.melotti@gmail.com>
date:        Sat Oct 27 22:29:50 2012 +0300
files:       Doc/Makefile
description:
#8040: merge with 3.2.


diff -r 9505a34b4484 -r 5c30f8fdd896 Doc/Makefile
--- a/Doc/Makefile	Sat Oct 27 22:11:33 2012 +0300
+++ b/Doc/Makefile	Sat Oct 27 22:29:50 2012 +0300
@@ -185,7 +185,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: