diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 565137ce3..67f4a6720 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -75,9 +75,6 @@ def mk_icon(source_root):
mk_dir("out/content")
shutil.copy("{}/resources/icon.jpg".format(source_root), "out/content/icon.jpg")
-def mk_license(source_root):
- mk_dir("out/content")
- shutil.copy("{}/LICENSE.txt".format(source_root), "out/content/LICENSE.txt")
def create_nuget_spec(version, repo, branch, commit):
contents = """
@@ -96,7 +93,7 @@ Linux Dependencies:
smt constraint solver theorem prover
content/icon.jpg
https://github.com/Z3Prover/z3
- content/LICENSE.txt
+ MIT
true
en
@@ -121,7 +118,6 @@ def main():
unpack(packages)
mk_targets(source_root)
mk_icon(source_root)
- mk_license(source_root)
create_nuget_spec(version, repo, branch, commit)
main()