From 341dee0b153ab06bda0b8aa81f47563cdc8bf26f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 28 Aug 2024 10:17:28 +0200
Subject: [PATCH] Makefile: add comments about making a release.

---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index 457b370..ade12c6 100644
--- a/Makefile
+++ b/Makefile
@@ -17,5 +17,13 @@ check: test
 clean:
 	dune clean
 
+# To make a release:
+# + check that [make] and [make test] succeed
+# + check that everything has been committed
+# + check that the CI has succeeded
+# + check that [opam lint] is happy
+# + create a tag, e.g. [git tag -a vX.Y.Z]
+# + run [make publishX.Y.Z]
+
 publish%:
 	opam publish --tag=v$* -v $* ocaml-community/cppo