[gtkmm] gdk_docs_override.xml: Add a substitution for GdkDeviceToolType

[Kjell Ahlstedt <kjellahl src gnome org>]

commit 80937e8ad04fc69f5e2da1c162496d209d7b0027
Author: Kjell Ahlstedt <kjellahlstedt gmail com>
Date:   Fri Feb 9 19:40:35 2018 +0100

    gdk_docs_override.xml: Add a substitution for GdkDeviceToolType

 gdk/src/gdk_docs_override.xml |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gdk/src/gdk_docs_override.xml b/gdk/src/gdk_docs_override.xml
index c9418c6..1cf65d6 100644
--- a/gdk/src/gdk_docs_override.xml
+++ b/gdk/src/gdk_docs_override.xml
@@ -6,6 +6,7 @@
 <substitute_type_name from="GCancellable" to="Gio::Cancellable" />
 <substitute_type_name from="GdkCursorType" to="Gdk::Cursor::Type" />
 <substitute_type_name from="GdkDeviceType" to="Gdk::Device::Type" />
+<substitute_type_name from="GdkDeviceToolType" to="Gdk::DeviceTool::Type" />
 <substitute_type_name from="GdkEventType" to="Gdk::Event::Type" />
 <substitute_type_name from="GdkFrameClockPhase" to="Gdk::FrameClock::Phase" />
 <substitute_type_name from="GdkPixbufRotation" to="Gdk::Pixbuf::Rotation" />