From 8bbf14e43e2358f0f8bf60304b281bae69a43b95 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 8 Nov 2024 16:38:10 +0100
Subject: [PATCH] [release] Leave instructions for future RM of 40.0 Zirconium

---
 doc/release/deploy.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index e84463cbd0..5cbe7d4390 100644
--- a/doc/release/deploy.tex
+++ b/doc/release/deploy.tex
@@ -33,6 +33,10 @@ following:
   on \texttt{pub} (it must be started manually and requires the branch).
 \end{description}
 
+\textbf{Important note:}~If the version is a whole number (\texttt{X0.0}),
+a special step must be taken before starting \texttt{release-create}: add
+\texttt{X*} as a tag that maintainers can create on \texttt{pub/frama-c}.
+
 After running \texttt{release-branch} and \texttt{release-create}, either the
 tag indicates a beta release and then this tag is pushed on the public GitLab
 repository (\url{https://git.frama-c.com/pub/frama-c/-/tags}), or it is a final
-- 
GitLab