diff options
| author | lloyd <[email protected]> | 2014-01-01 23:58:46 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2014-01-01 23:58:46 +0000 |
| commit | 585356e222c5a6116532ba14cce44a2c6cd9c366 (patch) | |
| tree | 90a50dec70a8044766fea6a5f9371b7e7c0eb0f3 /configure.py | |
| parent | 48bd53d1918f9ee765313d62eacd054376c0b49e (diff) | |
Cull remaining mostly dubious examples. Also remove readme.txt
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 6fd730ae4..2b1a330ee 100755 --- a/configure.py +++ b/configure.py @@ -157,8 +157,6 @@ class BuildConfigurationInformation(object): self.manual_dir = os.path.join(self. doc_output_dir, 'manual') def build_doc_commands(): - yield '$(COPY) readme.txt %s' % (self.doc_output_dir) - if options.with_sphinx: yield 'sphinx-build $(SPHINX_OPTS) -b html doc %s' % ( self.manual_dir) |