From f916e2f20f74f8fb32ab9c3d9b4c2b35b8f83210 Mon Sep 17 00:00:00 2001
From: Dominik Krupke <d-krupke@users.noreply.github.com>
Date: Mon, 22 Jul 2024 20:25:56 +0200
Subject: [PATCH] Improving readme file

---
 README.md | 2 +-
 build.py  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index a2515c1..0c5d4f6 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-*A book-style version of this primer available at [https://d-krupke.github.io/cpsat-primer/](https://d-krupke.github.io/cpsat-primer/).*
+*A book-style version of this primer is available at [https://d-krupke.github.io/cpsat-primer/](https://d-krupke.github.io/cpsat-primer/).*
 
 <!-- This file was generated by the `build.py` script. Do not edit it manually. -->
 <!-- 00_intro.md -->
diff --git a/build.py b/build.py
index 20e0ad9..5ce3671 100644
--- a/build.py
+++ b/build.py
@@ -277,7 +277,7 @@ def convert_for_readme(content: str) -> str:
     # concat them and write them to `README.md`
     with open("README.md", "w") as f:
         f.write(
-            "*A book-style version of this primer available at [https://d-krupke.github.io/cpsat-primer/](https://d-krupke.github.io/cpsat-primer/).*\n\n"
+            "*A book-style version of this primer is available at [https://d-krupke.github.io/cpsat-primer/](https://d-krupke.github.io/cpsat-primer/).*\n\n"
         )
         disclaimer = "<!-- This file was generated by the `build.py` script. Do not edit it manually. -->\n"
         for file in markdown_files: