From 4254448737b944686aae340f62edd047abbfc009 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 3 Oct 2024 11:26:11 +0200
Subject: [PATCH] [doc] update release manual
---
doc/release/deploy.tex | 2 +-
doc/release/validation.tex | 20 ++++++++------------
2 files changed, 9 insertions(+), 13 deletions(-)
diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index 7a77fd1464..0b65e17fbe 100644
--- a/doc/release/deploy.tex
+++ b/doc/release/deploy.tex
@@ -47,7 +47,7 @@ Once the pipeline for the website has run, open \texttt{https://pub.frama-c.com}
\item \texttt{index.html} must display:
\begin{itemize}
\item the new event,
- \item a link to the (beta) release at the bottom.
+ \item if it is beta a link to the beta next to "All versions".
\end{itemize}
\item \texttt{/fc-versions/<codename>.html}:
\begin{itemize}
diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index 758a75b3fc..98329d65dd 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -120,35 +120,31 @@ They shall succeed. Collect the artifacts of the following targets:
\begin{itemize}
\item api-doc
\item build-distrib-tarball
+ \item build-ivette-linux-packages
+ \item build-ivette-macos-packages
\item manuals
\end{itemize}
\noindent Check that these artifacts are as expected. In particular:
\begin{itemize}
- \item API documentatation:
+ \item API documentation:
\begin{itemize}
\item check that you can browse the API documentation
\item if there are minor bugs/typos, note them for later, but it's not
worth delaying the release to fix them.
\end{itemize}
- \item Check versions in manuals
\item Tarball
\begin{itemize}
- \item Check that no non-free components are distributed (note: unless
- someone inadvertently added non-free code, \FramaC does not contain any,
- this check is obsolete).
- \item Check that no \texttt{/home/user} path can be found in the distribution,
- \item Build and test
- \begin{itemize}
- \item on Linux (the CI has already done it, but the GUI is not tested)
- \item on MacOS \expertise{André, Loïc}
- \item on Windows (WSL) \expertise{Allan, André}
- \end{itemize}
\item consider decompressing both the current and the previous release
archives in different directories, then using \texttt{meld} to compare
them. This allows spotting if some files were unexpectedly added, for
instance.
\end{itemize}
+ \item Ivette packages
+ \begin{itemize}
+ \item check that the packages can be run on each system
+ \end{itemize}
+ \item Check versions in the manuals
\end{itemize}
\noindent Alternatively, you can use \texttt{docker} to compile the archive against a
--
GitLab