Merge "Explicitly set 'builders' option"

This commit is contained in:
Jenkins 2017-07-12 15:25:55 +00:00 committed by Gerrit Code Review
commit 5da87fc6d4

@ -102,6 +102,7 @@ setup-hooks =
pbr.hooks.setup_hook
[build_sphinx]
builders = html,man
source-dir = doc/source
build-dir = doc/build
all_files = 1