diff options
author | lloyd <[email protected]> | 2015-01-10 04:56:13 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2015-01-10 04:56:13 +0000 |
commit | 1162f1bb72f463727743565ce788e3724d259517 (patch) | |
tree | cb7da810ede99335b809df537c71648b5e461499 /src/scripts | |
parent | 3f16815c9e6349c4a0eeb6a6ecfe004e5d31e287 (diff) |
Move license text to a plain text file without ReST market
Diffstat (limited to 'src/scripts')
-rwxr-xr-x | src/scripts/install.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/scripts/install.py b/src/scripts/install.py index 70718bd22..8e19ed91c 100755 --- a/src/scripts/install.py +++ b/src/scripts/install.py @@ -198,8 +198,8 @@ def main(args = None): shutil.rmtree(botan_doc_dir, True) shutil.copytree(cfg['doc_output_dir'], botan_doc_dir) - with open(os.path.join(botan_doc_dir, 'license.txt'), 'w+') as lic: - lic.write(license_text('doc/license.rst')) + for f in [f for f in os.listdir(cfg['doc_dir']) if f.endswith('.txt')]: + shutil.copyfile(os.path.join(cfg['doc_dir'], f), os.path.join(botan_doc_dir, f)) with combine_relnotes.open_for_utf8(os.path.join(botan_doc_dir, 'news.txt'), 'w+') as news: news.write(combine_relnotes.combine_relnotes('doc/relnotes', False)) |