diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 13f3fc923..18dcb52f0 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -86,9 +86,6 @@ def mk_icon(source_root):
mk_dir("out/content")
shutil.copy(f"{source_root}/resources/icon.jpg", "out/content/icon.jpg")
-def mk_readme(source_root):
- mk_dir("out/content")
- shutil.copy(f"{source_root}/README.md", "out/content/README.md")
def create_nuget_spec(version, repo, branch, commit, symbols, arch):
@@ -108,7 +105,6 @@ Linux Dependencies:
© Microsoft Corporation. All rights reserved.
smt constraint solver theorem prover
content/icon.jpg
- content/README.md
https://github.com/Z3Prover/z3
MIT
@@ -145,7 +141,6 @@ class Env:
mk_dir(self.packages)
unpack(self.packages, self.symbols, self.arch)
mk_targets(self.source_root)
- mk_readme(self.source_root)
mk_icon(self.source_root)
create_nuget_spec(self.version, self.repo, self.branch, self.commit, self.symbols, self.arch)