diff --git a/AGENTS.md b/AGENTS.md
new file mode 100644
index 0000000..887cd67
--- /dev/null
+++ b/AGENTS.md
@@ -0,0 +1,14 @@
+# To initialize the repository:
+
+Run these commands from the project directory.
+
+```shell
+./configure && touch src/.accepted  # the src/.accepted file must exist to build.
+```
+
+# To build the code:
+
+```shell
+cd src     # make must be run from the src dir
+make       # builds all changed source files.
+```