diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index 5cbe7d4390c6a7fad06df94f22f3c1e6407152f0..305d227e7b7fac708239f19435340ebb99b5e5fa 100644
--- a/doc/release/deploy.tex
+++ b/doc/release/deploy.tex
@@ -183,9 +183,15 @@ Check if other \FramaC (and related) repositories need to be updated:
 
 \begin{itemize}
 \item \texttt{acsl-language/acsl} (if last minute patches were applied)
-\item \texttt{pub/open-source-case-studies}
-\item \texttt{pub/sate-6}
-\item other \texttt{pub} repositories related to Frama-C...
+\item \texttt{pub/open-source-case-studies} (\expertise{André})
+\begin{itemize}
+\item update the reference commit of the frama-c submodule to the tag of the release
+\item \texttt{make framac}
+\item \texttt{make clean}
+\item \texttt{make all}
+\end{itemize}
+\item \texttt{pub/sate-6} (\expertise{André})
+\item other \texttt{pub} repositories related to Frama-C...\todo{which ones?}
 \end{itemize}
 
 \section{Docker image preparation}