From 30132b18ac0ea63357ebda94acf826c695a0b308 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 6 Nov 2024 18:55:33 +0100
Subject: [PATCH] [release] Indicate that the versions of ACSL and E-ACSL
should stay synchronized
---
doc/release/validation.tex | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index 58f64c9ce1..8ef3eb1372 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -80,7 +80,11 @@ by issuing \texttt{make check-devguide}\todo{Fix this}.
\subsection{Manuals}
Manuals are built by the continuous integration. However, the Release Manager
-should check whether a new version of ACSL or E-ACSL must be released.
+should check whether a new version of ACSL or E-ACSL must be released. Note that
+an ACSL release must be accompanied by an E-ACSL (the language, not the plug-in)
+release, at least to acknowledge the fact that the changes in ACSL do not impact
+E-ACSL. It might also be useful to check that the table of contents of both manuals
+coincide\todo{Provide a script for that}.
Also, most of the manuals include an appendix with the list of changes that have
happened, divided by version of Frama-C. Make sure that the first section has
--
GitLab