diff --git a/doc/userman/user-start.tex b/doc/userman/user-start.tex
index 0d6b3898b618e4e448498e3b2c466cdee5e47b19..3339418d818c888eacdd9f57f0137d9c3118a831 100644
--- a/doc/userman/user-start.tex
+++ b/doc/userman/user-start.tex
@@ -71,9 +71,12 @@ may be found in the file \texttt{INSTALL.md} of the source distribution.
 \item \texttt{frama-c.byte}\codeidx{frama-c.byte}: bytecode batch version;
 \item \texttt{frama-c-gui}\codeidx{frama-c-gui}: natively-compiled interactive
   version;
-\item \texttt{frama-c-gui.byte}\codeidx{frama-c-gui.byte}: bytecode interactive version.
+\item \texttt{frama-c-gui.byte}\codeidx{frama-c-gui.byte}: bytecode interactive version;
 \item \texttt{frama-c-config}\codeidx{frama-c-config}: auxiliary batch version for
-  quickly retrieving configuration information (e.g. installation path).
+  quickly retrieving configuration information (e.g. installation path);
+\item \texttt{frama-c-script}\codeidx{frama-c-script}: contains several
+  utilities related to source preparation, results visualization and analysis
+  automation. Run it without arguments to obtain more details.
 \end{itemize}
 The differences between these versions are described below.
 \begin{description}