Include LICENSE.XXX files in the tarball

diff --git a/scripts/release.py b/scripts/release.py
index a9d9c656d79c1e37350e4623360a7ebbed41684c..1cf977c043928fc85c02c23d2b37b6cc05ffb5fd 100644 (file)
--- a/scripts/release.py
+++ b/scripts/release.py
@@ -149,6 +149,8 @@ if __name__ == "__main__":
 
     tar = tarfile.open(outname, 'w:xz')
     tar.add(files, release_name, filter=exclude_filter)
+    for license in ['LICENSE.BSD', 'LICENSE.CC-BY-SA-4.0', 'LICENSE.LGPL-2.1', 'LICENSE.MIT', 'LICENSE.OPL']:
+        tar.add(license, os.path.join(release_name, license))
     os.chdir(os.path.dirname(readme))
     tar.add(os.path.basename(readme), os.path.join(release_name, os.path.basename(readme)))
     tar.close()