Improving readme file

d-krupke · Jul 22, 2024 · f916e2f · f916e2f
1 parent 4fcc7da
commit f916e2f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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: