[gnome-builder] docs: add workbench docs

[Christian Hergert <chergert src gnome org>]

commit cf25d3fb4b5e0f6a847b6c3cb3587d76999e49e6
Author: Christian Hergert <christian hergert me>
Date:   Thu Jan 21 14:48:57 2016 -0800

    docs: add workbench docs

 doc/reference/libide/libide-docs.sgml |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/doc/reference/libide/libide-docs.sgml b/doc/reference/libide/libide-docs.sgml
index 33ccd61..61ec68b 100644
--- a/doc/reference/libide/libide-docs.sgml
+++ b/doc/reference/libide/libide-docs.sgml
@@ -108,6 +108,8 @@
     <xi:include href="xml/ide-unsaved-files.xml"/>
     <xi:include href="xml/ide-vcs.xml"/>
     <xi:include href="xml/ide-vcs-uri.xml"/>
+    <xi:include href="xml/ide-workbench.xml"/>
+    <xi:include href="xml/ide-workbench-addin.xml"/>
 
   </chapter>
   <chapter id="object-tree">