[gnome-builder] gtk-doc: remove dead section

[Christian Hergert <chergert src gnome org>]

commit 7ade4dda3d87e6df061b79aed441df566c517548
Author: Christian Hergert <chergert redhat com>
Date:   Wed Aug 8 18:40:39 2018 -0700

    gtk-doc: remove dead section

 doc/sdk/libide-docs.sgml | 11 -----------
 1 file changed, 11 deletions(-)
---
diff --git a/doc/sdk/libide-docs.sgml b/doc/sdk/libide-docs.sgml
index 9c42d20ae..5f693a624 100644
--- a/doc/sdk/libide-docs.sgml
+++ b/doc/sdk/libide-docs.sgml
@@ -219,17 +219,6 @@
     </chapter>
   </part>
 
-  <part id="libide-documentation">
-    <title>The Documentation Subsystem</title>
-    <chapter>
-      <title>API Reference</title>
-      <xi:include href="xml/ide-documentation-info.xml"/>
-      <xi:include href="xml/ide-documentation-proposal.xml"/>
-      <xi:include href="xml/ide-documentation-provider.xml"/>
-      <xi:include href="xml/ide-documentation.xml"/>
-    </chapter>
-  </part>
-
   <part id="libide-refactoring">
     <title>Refactoring</title>
     <xi:include href="xml/ide-rename-provider.xml"/>