From a1aa259c1a4a36c4f6afa8146d3fcb54ae1b4bb0 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Mon, 11 Mar 2024 13:27:38 +0100
Subject: [PATCH] document process

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

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..825b646
--- /dev/null
+++ b/README.md
@@ -0,0 +1,16 @@
+# Gen pages:
+
+```
+git clone <repo>
+trunk build --release --public-url '.'
+cd dist
+git init
+git remote add origin <repo>
+# remove old pages branch
+git push origin -d pages
+git checkout -b pages
+git add *
+git commit -m "gen pages"
+# push new pages branch
+git push -u origin pages
+```