From 7612b621c89b59767d3c125df64b906bdaa3f91a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 8 Nov 2024 18:36:40 +0100
Subject: [PATCH] [release] what to do with oscs after the release

---
 doc/release/deploy.tex | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index 5cbe7d4390..305d227e7b 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}
-- 
GitLab