merge with 3.3

This commit is contained in:
Georg Brandl
2013-11-24 16:18:23 +01:00
+1
View File
@@ -186,6 +186,7 @@ serve:
autobuild-dev:
make update
make dist SPHINXOPTS='-A daily=1 -A versionswitcher=1'
-make suspicious
# for quick rebuilds (HTML only)
autobuild-html: