diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index b3a1cd537adee172e63ca1277749817319e304be..63070311232e05e20a6e0ff093d52a6f2ec581ea 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)}