From c3d6c2a94f6f2727167e3a3cc0a8eb23376d0abc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 29 Aug 2024 13:21:01 +0200
Subject: [PATCH] Comment in Makefile.

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index f9568fd..3742dcc 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,8 @@ clean:
 # + 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]
+# + create a tag, e.g. [git tag vX.Y.Z]
+#   (the tag should not be annotated, as it shows up in [cppo -version])
 # + run [make publishX.Y.Z]
 
 publish%: