diff options
| author | lloyd <[email protected]> | 2014-01-02 00:21:28 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2014-01-02 00:21:28 +0000 |
| commit | edf65a4ff8590a8aef04fc308643f130c05c3d2a (patch) | |
| tree | 4745064a3080e0dbce542a7e86f06d4894ca52e2 /configure.py | |
| parent | 585356e222c5a6116532ba14cce44a2c6cd9c366 (diff) | |
Move Sphinx config
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) |