From 137a50d40207bf6280d4a590ec50c209001d7b72 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 1 Jul 2024 08:53:43 +0000
Subject: [PATCH] Book update (generated from hacspec/hax@cd17f9e)

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..6f4b69a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# Warning: this repository only contains generated files
+The sources of the book are in https://github.com/hacspec/hax/tree/main/book
+Please file issues, and push PRs to https://github.com/hacspec/hax.