diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 8e67bd65e5d..fe06bdba270 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -91,7 +91,7 @@ def mk_icon(source_root): def mk_readme(source_root): mk_dir("out/content") - shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/README.md") + shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/content/README.md") @@ -112,6 +112,7 @@ def create_nuget_spec(version, repo, branch, commit, symbols, arch): © Microsoft Corporation. All rights reserved. smt constraint solver theorem prover content/icon.jpg + content/README>md https://github.com/Z3Prover/z3 MIT @@ -121,6 +122,9 @@ def create_nuget_spec(version, repo, branch, commit, symbols, arch): + + + """.format(version, repo, branch, commit, arch) print(contents) sym = "sym." if symbols else ""