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.