From 23fcb4376f661784729f534371ab002a82f10bcf Mon Sep 17 00:00:00 2001
From: NikolajBjorner <nbjorner@microsoft.com>
Date: Tue, 5 Dec 2023 08:03:28 -0800
Subject: [PATCH] readme

Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_task.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 33d8eeb3d..cafdc37e1 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -108,6 +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>
         <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
         <license type="expression">MIT</license>
         <repository type="git" url="{1}" branch="{2}" commit="{3}" />