From 2c1eb494546b0919e2478d2d346f5dbb3047e80a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Mon, 4 Nov 2024 14:26:03 +0100
Subject: [PATCH] [release] document Frama-Clang's ./bin/set-version.sh
---
doc/release/branch.tex | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index e95a432247..76e9271327 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -127,7 +127,12 @@ List of external plugins repo names:
\end{itemize}
For each one of them, check that versions in the \texttt{dune-project} files are
coherent with \FramaC's new release. If not, update them and run \verb+make+ to
-generate the new opam file. Create a new branch, commit and push. Create a merge
+generate the new opam file, or, in the case of Frama-Clang, run the
+\texttt{./bin/set-version.sh} script, which takes three arguments: the
+new Frama-Clang version number, the new Frama-C version number, and the new
+Frama-C version name.
+
+Create a new branch, commit and push. Create a merge
request targetting \texttt{stable/release} on each plugin and assign your co-rm.
This changes will need to be merged on master's branches later.
--
GitLab