From 2c8d33851a4475605f6803663e600b22938cc18c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 5 Dec 2023 16:38:35 -0800 Subject: [PATCH] add README path to mk_nuget_task Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index dd5659ba5ed..8f238bcc2cc 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -88,7 +88,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/content/icon.jpg") + shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/content/README.md")