[gedit] help: update Preferences button name for plugins

[Andre Klapper <aklapper src gnome org>]

commit f5552164162b6bf6bd6aa99c1b664e84aae73caf
Author: Guillaume Bernard <associations guillaume-bernard fr>
Date:   Sun Apr 5 10:44:17 2020 +0000

    help: update Preferences button name for plugins

 help/C/gedit-plugins-insert-date-time.page | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/help/C/gedit-plugins-insert-date-time.page b/help/C/gedit-plugins-insert-date-time.page
index de224ecfd..8acfcda36 100644
--- a/help/C/gedit-plugins-insert-date-time.page
+++ b/help/C/gedit-plugins-insert-date-time.page
@@ -45,6 +45,6 @@
   However, you can choose your own default date and time format by pressing the
   menu button in the top-right corner of the window and selecting <guiseq>
   <gui style="menuitem">Preferences</gui><gui style="tab">Plugins</gui><gui>
-  Insert Date/Time</gui><gui style="button">Configure</gui></guiseq>.</p>
+  Insert Date/Time</gui><gui style="button">Preferences</gui></guiseq>.</p>
 
 </page>