diff --git a/src/plugins/wp/doc/manual/wp_plugin.tex b/src/plugins/wp/doc/manual/wp_plugin.tex
index 1d88e07505fb14fcbca0226c7f7c166a7dfe8170..3d0330f4f5b5917ddd50e6ab4c77cfed1bbfa1a3 100644
--- a/src/plugins/wp/doc/manual/wp_plugin.tex
+++ b/src/plugins/wp/doc/manual/wp_plugin.tex
@@ -1023,7 +1023,6 @@ Support for \textsf{Why-3 IDE} is no longer provided.
   steps. This can be used as a machine-independent alternative to timeout.
 \item[\tt -wp-why3-opt='options,...'] provides additional options to the
   \verb+why3+ command.
-\item[\tt -wp-why3='<cmd>'] overrides the path to the \verb+why3+ command.
 \end{description}
 
 \paragraph{Example of using provers.}