[wp/doc] Document -wp-fct-timeout

src/plugins/wp/Changelog

@@ -24,6 +24,8 @@
 Plugin WP <next-release>
 ########################
 
+- WP          [2022-02-28] New option -wp-fct-timeout, used to customize the
+                           provers timeout per function
 - WP          [2022-02-02] New option -wp-smoke-dead-local-init, smoke tests on
                            local variables initialization
 - WP          [2022-01-25] Removed deprecated "native:coq" prover

src/plugins/wp/doc/manual/wp_plugin.tex

@@ -1304,6 +1304,9 @@ See \texttt{-wp-interactive <mode>} option for details.
   on proved goals when available (default is: \texttt{no}).
 \item[\tt -wp-timeout <n>] sets the timeout (in seconds) for the calls
   to the decision prover (defaults to 10 seconds).
+\item[\tt -wp-fct-timeout <f1:t1,f2:t2,...>] customize the timeout for each
+  specified function (\texttt{t1} for \texttt{f1}, \texttt{t2} for \texttt{f2},
+  etc).
 \item[\tt -wp-smoke-timeout <n>] sets the timeout (in seconds) for smoke tests
   (see \verb+-wp-smoke-tests+, defaults to 5 seconds).
 \item[\tt -wp-interactive-timeout <n>] sets the timeout (in seconds) for checking