#8040: merge with 3.3.

1386a99c · Ezio Melotti · 19056dd1 · 250e650e · 1386a99c
Commit 1386a99c authored Oct 27, 2012 by Ezio Melotti
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Doc/Makefile Doc/Makefile +1 -1

No files found.
--- 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: