From aa11f2126db35c14e28225518b804885e93f09e6 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 4 Nov 2021 14:30:05 +0100
Subject: [PATCH] [relman] minor precisions for the build phase
---
doc/release/build.tex | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/doc/release/build.tex b/doc/release/build.tex
index 39eed3e2cf7..2ca1349b462 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -9,17 +9,20 @@ The procedure for creating the source distribution.
\item \texttt{bash} v4.0 or higher
\item \texttt{git-lfs}
\item GNU \texttt{parallel}
-\item a \TeX distribution
+\item a \TeX distribution (e.g. \TeX{}live),
+including notably the following utilities:
+\begin{itemize}
\item \texttt{latexmk}
\item (recommended) \texttt{texfot}
\end{itemize}
+\end{itemize}
\section{Final checks}
\begin{itemize}
\item Check plug-in dependencies in all \texttt{configure.*}, in case they have
- changed: if you don't know them, ask to plug-in developers to verify them.
+ changed: if you don't know them, ask plug-in developers to verify them.
\todo{should be done when the plugin is modified}
@@ -31,7 +34,8 @@ The procedure for creating the source distribution.
\item Check the contents of \texttt{INSTALL.md} \todo{Should always be up to date}
\begin{itemize}
- \item In particular, check and update a full known good configuration for
+ \item Update the Frama-C version number in the `Reference configuration` section
+ \item In particular, check and update a full known good configuration for
opam packages, including alt-ergo, why3, coq, etc.
Use \verb+bin/check-reference-configuration.sh+ to help check if the
configuration is ok. You can also try running
--
GitLab