From e3a939b346db5e16a7021205e86529600bdeaeb4 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 9 Jul 2024 21:36:02 +0200
Subject: [PATCH] [userman] update changelog on removed options
---
doc/userman/user-changes.tex | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index b3a1cd537ad..63070311232 100644
--- a/doc/userman/user-changes.tex
+++ b/doc/userman/user-changes.tex
@@ -9,6 +9,13 @@ release. First we list changes of the last release.
\texttt{-keep-unused-specified-functions} and
\texttt{-remove-unused-specified-functions} with
\texttt{-keep-unused-functions}.
+\item \textbf{Preparing the Sources:} remove previously obsoleted
+ options \texttt{-continue-annot-error} (replaced by
+ \texttt{-kernel-warn-key annot-error}),
+ \texttt{-implicit-function-declaration} (replaced by
+ \texttt{-kernel-warn-key typing:implicit-function-declaration}),
+ and \texttt{-warn-decimal-float} (replaced by
+ \texttt{-kernel-warn-key parser:decimal-float}).
\end{itemize}
\section*{29.0 (Copper)}
--
GitLab