changeset:   79980:740be7346c92
branch:      3.2
parent:      79976:35a2a0e166d0
user:        Ezio Melotti <ezio.melotti@gmail.com>
date:        Sat Oct 27 22:28:48 2012 +0300
files:       Doc/Makefile
description:
#8040: enable the versionswitcher for the autobuild-dev target.


diff -r 35a2a0e166d0 -r 740be7346c92 Doc/Makefile
--- a/Doc/Makefile	Sat Oct 27 22:09:16 2012 +0300
+++ b/Doc/Makefile	Sat Oct 27 22:28:48 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: