From bc10e4566cefcab6449fb97b47cf23a431c5e8bb Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 16 Jun 2019 13:58:41 +0200
Subject: Refman: To be compatible gtk2/gtk3, not mentioning GTK+ version
 explicitely.

---
 doc/sphinx/practical-tools/coqide.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/practical-tools/coqide.rst b/doc/sphinx/practical-tools/coqide.rst
index 92b7fd403c..b1f392c337 100644
--- a/doc/sphinx/practical-tools/coqide.rst
+++ b/doc/sphinx/practical-tools/coqide.rst
@@ -184,7 +184,7 @@ Notice that these settings are saved in the file ``coqiderc`` in the
 is the value of ``$XDG_CONFIG_HOME`` if this environment variable is
 set and which otherwise is ``$HOME/.config/``.
 
-A Gtk2 accelerator keymap is saved under the name ``coqide.keys`` in
+A GTK+ accelerator keymap is saved under the name ``coqide.keys`` in
 the same ``coq`` subdirectory of the user configuration directory. It
 is not recommended to edit this file manually: to modify a given menu
 shortcut, go to the corresponding menu item without releasing the
-- 
cgit v1.2.3