License: GPL-3.0 (LICENSE, shipped with the build)

2026-10-11 01:27:08 +02:00
parent e3040b8e6e
commit 783b937c05
2 changed files with 675 additions and 0 deletions
--- a/tools/build_app.py
+++ b/tools/build_app.py
@@ -65,6 +65,7 @@ def main():
    import collect_licenses
    collect_licenses.main(os.path.join(out, "THIRD_PARTY_LICENSES.txt"))
    shutil.copy("README.md", os.path.join(out, "README.md"))
+    shutil.copy("LICENSE", os.path.join(out, "LICENSE"))
    docs = os.path.join(out, "docs")
    os.makedirs(docs, exist_ok=True)
    for f in ("user-guide.md",):