From 4b7e05bacd694766b49e10c86c659e836d1a9d90 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 11 May 2022 15:05:29 +0000
Subject: [PATCH] [wp] fix manual

---
 src/plugins/wp/doc/manual/wp_plugin.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/wp/doc/manual/wp_plugin.tex b/src/plugins/wp/doc/manual/wp_plugin.tex
index 148e1b6f3e0..978329a251f 100644
--- a/src/plugins/wp/doc/manual/wp_plugin.tex
+++ b/src/plugins/wp/doc/manual/wp_plugin.tex
@@ -263,9 +263,9 @@ proof session scripts directory (that can be configured using \verb+-wp-session+
 if such a directory already exists it is removed and created again.
 
 Then, each time WP uses a proof script, it is marked as used in the \verb+.marks+
-directory. In particular, it enables with the possibility to start the plugin
+directory. In particular, it is then possible to run WP
 several times to verify different parts of the code, yet marking the scripts for
-all these different parts.
+all those different parts.
 
 Once one is certain that the entire verification of the use case has been replayed
 for marking, the option \verb+-wp-finalize-scripts+ can be used to remove all
-- 
GitLab