From c3c447ac89549bd56f30892cccd885139d621a38 Mon Sep 17 00:00:00 2001
From: wwp <subscript@free.fr>
Date: Thu, 5 Nov 2020 19:06:45 +0100
Subject: [PATCH] Fix a typo.

---
 manual/plugins.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/plugins.xml b/manual/plugins.xml
index 6cb2629ae..528c9663a 100644
--- a/manual/plugins.xml
+++ b/manual/plugins.xml
@@ -13,7 +13,7 @@
 	<quote>.so</quote>. To load a plugin go to 
 	<quote>Configuration/Plugins</quote> and click the 
 	<quote>Load Plugin</quote> button. Select the plugin that you want and 
-	click <quote>Open</quote> button.
+	click the <quote>Open</quote> button.
     </para><para>
 	If you don't find the plugin you're looking for, it is possible that 
 	your Operating System distribution provides it in a separate package. 
-- 
2.25.1