diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index e95a4322470e5786a64fa37fee5161ea5b35710f..76e927132729810cf88e670391d57c79b8e3fd78 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.