diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index 4005ddbc404e7749eeca46e1709c9734b26935a4..f337d71d615756556248b10c91104639bc898e5a 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}