diff options
| author | lloyd <[email protected]> | 2011-04-22 18:41:31 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2011-04-22 18:41:31 +0000 |
| commit | 4ddb5fc878b56c9d54d0e36b4eeba5b5273f503a (patch) | |
| tree | 0bd34308e6a4be9c388da7aac613ea46bf924b1b /configure.py | |
| parent | cff88d2385ed71d3cdece328a562b9cde84f4cd3 (diff) | |
Document KDF properly.
Split log by release series instead of year.
Make dedicated landing page.
If SPHINX_OPTS is set, it will be passed to sphinx-build
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.py b/configure.py index f81e0b8ac..f5cd34336 100755 --- a/configure.py +++ b/configure.py @@ -96,7 +96,8 @@ class BuildConfigurationInformation(object): yield '$(COPY) readme.txt %s' % (self.doc_output_dir) if options.with_sphinx: - yield 'sphinx-build -b html doc %s' % (self.manual_dir) + yield 'sphinx-build $(SPHINX_OPTS) -b html doc %s' % ( + self.manual_dir) else: yield '$(COPY) doc/*.txt %s' % (self.manual_dir) |