[Doc] add mention to option -autocomplete in userman and manpage

doc/userman/user-changes.tex

@@ -6,6 +6,8 @@ release. First we list changes of the last release.
 \section*{\nextframacversion}
 
 \begin{itemize}
+\item \textbf{Getting Started:} added option
+  \texttt{-autocomplete}.
 \item \textbf{Getting Started:} updated installation instructions.
 \item \textbf{Preparing the Sources:} added option
   \texttt{-print-cpp-commands}.

doc/userman/user-start.tex

@@ -264,6 +264,11 @@ source $(frama-c-config -share)/autocomplete_frama-c || true
 There is also an autocompletion script for zsh, \texttt{\_frama-c}, also
 in the shared resources directory. Look inside for installation instructions.
 
+The kernel option \optiondef{-}{autocomplete} provides a text output listing
+all \FramaC options, so that autocompletion scripts may use it to provide
+completion. The \FramaC team welcomes improved and additional autocompletion
+scripts.
+
 \subsection{Splitting a \FramaC Execution into Several Steps}\label{sec:then}
 
 By default, \FramaC parses its command line in an \emph{unspecified} order and

man/frama-c.1

@@ -25,7 +25,7 @@
 .\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
 .\" and run `make man/frama-c.1`.
 
-.TH FRAMA-C 1 2020-09-01
+.TH FRAMA-C 1 2020-09-21
 .SH NAME
 .PP
 frama-c[.byte] - a static analyzer for C programs
@@ -141,6 +141,10 @@ This is the default.
 Annotations are pre-processed by default.
 Use -no-pp-annot if you don\[cq]t want to expand macros in annotations.
 .TP
+.B -autocomplete \f[I]p1,\&...,pn\f[R]
+lists the options of plugins \f[I]p1,\&...,pn\f[R] in a format suitable
+for autocompletion scripts.
+.TP
 .B -big-ints-hex \f[I]max\f[R]
 integers larger than \f[I]max\f[R] are displayed in hexadecimal (by
 default, all integers are displayed in decimal).

man/frama-c.1.header

@@ -25,4 +25,4 @@
 .\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
 .\" and run `make man/frama-c.1`.
 
-.TH FRAMA-C 1 2020-09-01
+.TH FRAMA-C 1 2020-09-21

man/frama-c.1.md

@@ -97,6 +97,10 @@ with non-trivial control flow are never duplicated. Defaults to yes.
 : reads ACSL annotations. This is the default. Annotations are pre-processed
 by default. Use -no-pp-annot if you don't want to expand macros in annotations.
 
+-autocomplete *p1,...,pn*
+: lists the options of plugins *p1,...,pn* in a format suitable for
+autocompletion scripts.
+
 -big-ints-hex *max*
 : integers larger than *max* are displayed in hexadecimal
 (by default, all integers are displayed in decimal).