From 5732c3c98031e51eb803839b637f5aba4aed25a9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 10 Dec 2023 11:11:37 -0800 Subject: [PATCH] add readme under content Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 ""