aboutsummaryrefslogtreecommitdiffstats
path: root/src/scripts
diff options
context:
space:
mode:
authorlloyd <[email protected]>2015-01-10 04:56:13 +0000
committerlloyd <[email protected]>2015-01-10 04:56:13 +0000
commit1162f1bb72f463727743565ce788e3724d259517 (patch)
treecb7da810ede99335b809df537c71648b5e461499 /src/scripts
parent3f16815c9e6349c4a0eeb6a6ecfe004e5d31e287 (diff)
Move license text to a plain text file without ReST market
Diffstat (limited to 'src/scripts')
-rwxr-xr-xsrc/scripts/install.py4
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))