diff options
| author | lloyd <[email protected]> | 2012-10-30 02:38:49 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2012-10-30 02:38:49 +0000 |
| commit | 39e16a0bcddd93507494a91790f2e6277ae39a1f (patch) | |
| tree | eadb09d4d5c23aed62fee0cdc6744d088ebaa518 /configure.py | |
| parent | 72eb425d699e0571857432e4271d10afb6431a6e (diff) | |
Copy *.rst from doc instead of *.txt if sphinx is not
available, broken by e5320c3b5fc06faffc6900267279eb9886ff9786.
Bug 216.
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 91ee18cb8..5f39ec9e0 100755 --- a/configure.py +++ b/configure.py @@ -139,7 +139,7 @@ class BuildConfigurationInformation(object): yield 'sphinx-build $(SPHINX_OPTS) -b html doc %s' % ( self.manual_dir) else: - yield '$(COPY) doc/*.txt %s' % (self.manual_dir) + yield '$(COPY) doc/*.rst %s' % (self.manual_dir) if options.with_doxygen: yield 'doxygen %s/botan.doxy' % (self.build_dir) |