From 6b26d77e8c6e40368fbf3a47ed7df76d5128098a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 5 Dec 2024 14:29:51 +0100
Subject: [PATCH] [release] fix typo in manual
---
doc/release/branch.tex | 4 ----
doc/release/validation.tex | 15 +--------------
2 files changed, 1 insertion(+), 18 deletions(-)
diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index 4376c7355c..0fe63a2812 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -85,10 +85,6 @@ This will:
\item update the reference configuration
\end{itemize}
-For beta releases, update manually the doc link in opam file to add
-\texttt{-beta} (not \texttt{\textasciitilde{}beta}) :
-\texttt{http://frama-c.com/download/user-manual-<NN.M>-beta-<Codename>.pdf}\\
-
Merge the \texttt{stable} branch in the \texttt{master} branch.
On the \texttt{master} branch, execute the script:
diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index 7740bda352..aa67612e94 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -46,19 +46,6 @@ Use the script \texttt{bin/check-reference-configuration.sh} to either:
The tasks listed in this section are performed by the Release Manager.
-\subsection{Versions in documentation files}
-
-For final release only, remove \texttt{\textasciitilde{}beta} and
-\texttt{-beta} mentions in the following files :
-\begin{itemize}
- \item \texttt{VERSION}
- \item \texttt{opam}
- \begin{itemize}
- \item in version field
- \item in the doc link
- \end{itemize}
-\end{itemize}
-
\subsection{Versions in source: API documentation}
Check that no \verb|+dev| suffix remains inside comments:
@@ -188,7 +175,7 @@ you might want to install the
\item \texttt{bin/frama-c-gui} for the old GUI.
\item \texttt{bin/ivette} for the new GUI.
\end{itemize}
-\Eva can be tested with \texttt{<gui> -eva tests/idtc/*.c} and \Wp with
+\Eva can be tested with \texttt{<gui> -eva tests/idct/*.c} and \Wp with
\texttt{<gui> -wp -wp-rte src/plugins/wp/tests/wp\_gallery/find.i}. Try to
navigate in the code, check some values with \Eva, check that \Wp prove some
annotations, this should be enough.
--
GitLab