diff options
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 2b1a330ee..50c3f8ffe 100755 --- a/configure.py +++ b/configure.py @@ -158,8 +158,9 @@ class BuildConfigurationInformation(object): def build_doc_commands(): if options.with_sphinx: - yield 'sphinx-build $(SPHINX_OPTS) -b html doc %s' % ( - self.manual_dir) + sphinx_config_dir = os.path.join(options.build_data, 'sphinx') + yield 'sphinx-build -c %s $(SPHINX_OPTS) -b html doc %s' % ( + sphinx_config_dir, self.manual_dir) else: yield '$(COPY) doc/*.rst %s' % (self.manual_dir) |