From 6db9e298f7eefbc2cfee194857c7875a6b9589c7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 12 Dec 2023 08:25:39 +0000
Subject: [PATCH] [release] mention extraneous manual name in checklist
---
doc/release/deploy.tex | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index 4005ddbc404..f337d71d615 100644
--- a/doc/release/deploy.tex
+++ b/doc/release/deploy.tex
@@ -96,6 +96,7 @@ For a final release \textbf{ONLY}, the following files must appear as \textbf{mo
\item \texttt{frama-c-user-manual.pdf}
\item \texttt{frama-c-<plugin>-manual.pdf}\\
for Aorai, Eva, Metrics, RTE, and WP
+ \item \texttt{frama-c-value-analysis.pdf}
\item \texttt{e-acsl/e-acsl.pdf}
\item \texttt{e-acsl/e-acsl-implementation.pdf}
\item \texttt{e-acsl/e-acsl-manual.pdf}
--
GitLab