From 111ce017025fbfbde5641574e4986c0722ad39ea Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Dec 2023 13:47:05 -0800
Subject: [PATCH] update path reference to readme

---
 scripts/mk_util.py       | 2 +-
 src/api/dotnet/README.md | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 src/api/dotnet/README.md

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index bd8e9d9180e..6b1ad95d6cb 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1746,7 +1746,7 @@ def mk_makefile(self, out):
 
   <ItemGroup>
     <Compile Include="..\%s\*.cs;*.cs" Exclude="bin\**;obj\**;**\*.xproj;packages\**" />
-    <None Include="..\%s\README.md" Pack="true" PackagePath="\"/>
+    <None Include="%s\README.md" Pack="true" PackagePath="\"/>
   </ItemGroup>
 
 </Project>""" % (version, key, self.to_src_dir, self.src_dir)
diff --git a/src/api/dotnet/README.md b/src/api/dotnet/README.md
new file mode 100644
index 00000000000..fe614782f52
--- /dev/null
+++ b/src/api/dotnet/README.md
@@ -0,0 +1,3 @@
+# Z3 Nuget Package
+
+For more information see [the Z3 github page](https://github.com/z3prover/z3.git)