From 3596d00e0c957a3466be4dce62975e407ec12020 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= Date: Wed, 28 Aug 2024 16:18:15 +0200 Subject: [PATCH] Makefile: add a comment. --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index ade12c6..f9568fd 100644 --- a/Makefile +++ b/Makefile @@ -22,6 +22,7 @@ clean: # + check that everything has been committed # + check that the CI has succeeded # + check that [opam lint] is happy +# + make sure that the package is not pinned: [opam pin remove cppo] # + create a tag, e.g. [git tag -a vX.Y.Z] # + run [make publishX.Y.Z]