From e273c89422ed9f4023d2b64b19c5fcefb1113f19 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 7 Jan 2025 17:40:40 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

---
 doc/release/deploy.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index 305d227e7b..6106b84ce7 100644
--- a/doc/release/deploy.tex
+++ b/doc/release/deploy.tex
@@ -188,7 +188,7 @@ Check if other \FramaC (and related) repositories need to be updated:
 \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}
+\item \texttt{make -j $(nproc) all}
 \end{itemize}
 \item \texttt{pub/sate-6} (\expertise{André})
 \item other \texttt{pub} repositories related to Frama-C...\todo{which ones?}
-- 
GitLab