[gtk+] Move GdkDeviceManager to deprecated section

[Matthias Clasen <matthiasc src gnome org>]

commit 2f0354fcf9b5a304e637735ad12cab0125849ca5
Author: Matthias Clasen <mclasen redhat com>
Date:   Sun Apr 3 23:39:18 2016 -0400

    Move GdkDeviceManager to deprecated section
    
    It has been superseded by GdkSeat.

 docs/reference/gdk/gdk-docs.sgml |    2 +-
 gdk/gdkdevicemanager.c           |    4 ++++
 2 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/docs/reference/gdk/gdk-docs.sgml b/docs/reference/gdk/gdk-docs.sgml
index ac650ab..8084a24 100644
--- a/docs/reference/gdk/gdk-docs.sgml
+++ b/docs/reference/gdk/gdk-docs.sgml
@@ -23,7 +23,6 @@
     <xi:include href="xml/gdkdisplay.xml" />
     <xi:include href="xml/gdkscreen.xml" />
     <xi:include href="xml/gdkseat.xml" />
-    <xi:include href="xml/gdkdevicemanager.xml" />
     <xi:include href="xml/gdkdevice.xml" />
     <xi:include href="xml/regions.xml" />
     <xi:include href="xml/pixbufs.xml" />
@@ -52,6 +51,7 @@
   <reference>
     <title>Deprecated</title>
     <xi:include href="xml/colors.xml" />
+    <xi:include href="xml/gdkdevicemanager.xml" />
   </reference>
 
   <index id="api-index-full">
diff --git a/gdk/gdkdevicemanager.c b/gdk/gdkdevicemanager.c
index 9e657e1..b7eaa83 100644
--- a/gdk/gdkdevicemanager.c
+++ b/gdk/gdkdevicemanager.c
@@ -138,6 +138,10 @@
  * Devices may also have associated “keys” or
  * macro buttons. Such keys can be globally set to map into normal X
  * keyboard events. The mapping is set using gdk_device_set_key().
+ *
+ * In GTK+ 3.20, a new #GdkSeat object has been introduced that
+ * supersedes #GdkDeviceManager and should be preferred in newly
+ * written code.
  */
 
 static void gdk_device_manager_set_property (GObject      *object,