From 8e363ee07914bd60d30c03e45706582260e5589b Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Mon, 13 May 2024 16:13:10 +0200
Subject: [PATCH] [doc] Frama-C does not contain non-free code, this check is
obsolete
---
doc/release/validation.tex | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index 87adb85e4b..ef55e94093 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -134,7 +134,9 @@ Check that these artifacts are as expected. In particular:
\item Check versions in manuals
\item Tarball
\begin{itemize}
- \item Check that no non-free components are distributed
+ \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}
--
GitLab