From 7c81ee08900e43e7ec311e5502cfcaa6c0dc09b3 Mon Sep 17 00:00:00 2001
From: NikolajBjorner <nbjorner@microsoft.com>
Date: Tue, 5 Dec 2023 09:02:08 -0800
Subject: [PATCH] fix case of README.md in nuget

Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
---
 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 cafdc37e1..13f3fc923 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -108,7 +108,7 @@ Linux Dependencies:
         <copyright>&#169; Microsoft Corporation. All rights reserved.</copyright>
         <tags>smt constraint solver theorem prover</tags>
         <icon>content/icon.jpg</icon>
-        <readme>content/readme.md</readme>
+        <readme>content/README.md</readme>
         <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
         <license type="expression">MIT</license>
         <repository type="git" url="{1}" branch="{2}" commit="{3}" />