From d5151db9c5afee6b8aaf15e0f78db209fbbac50f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 22 May 2019 18:13:56 +0200
Subject: [PATCH] [userman] add mention of frama-c-script
---
doc/userman/user-start.tex | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/doc/userman/user-start.tex b/doc/userman/user-start.tex
index 0d6b3898b61..3339418d818 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}
--
GitLab