From 426d7f5810bcf434182af406acccc9e5120330d3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 5 Dec 2023 12:11:06 -0800 Subject: [PATCH] remove reference to readme in nuget task Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 5 ----- 1 file changed, 5 deletions(-) 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)