[library-web] overlay: remove the "gnome development" section

[Frederic Peters <fpeters src gnome org>]

commit fd8f74e9a8d7f86c64ade346d48156de56cb59ee
Author: Frédéric Péters <fpeters 0d be>
Date:   Sun Aug 24 13:52:07 2014 +0200

    overlay: remove the "gnome development" section

 data/overlay.xml.in |   64 ---------------------------------------------------
 1 files changed, 0 insertions(+), 64 deletions(-)
---
diff --git a/data/overlay.xml.in b/data/overlay.xml.in
index ffe424a..9aec7d9 100644
--- a/data/overlay.xml.in
+++ b/data/overlay.xml.in
@@ -20,14 +20,6 @@
          the standards used within the GNOME platform.
         </_abstract>
       </subindex>
-      <subindex id="gnome-devel" weight="0.3">
-        <sections>devel-resource</sections>
-        <_title>GNOME Development</_title>
-        <_abstract>
-         Various links to learn more about GNOME development and how to get
-         involved.
-        </_abstract>
-      </subindex>
 
     </subindexes>
 
@@ -1274,62 +1266,6 @@
       </_abstract>
     </document>
 
-    <document doc_module="devel-resource-get-involved" channel="devel"
-             category="devel-resource" weight="0.95">
-      <new/>
-      <_title>Getting Involved</_title>
-      <_abstract>
-       So you want to get involved with GNOME. This will show you how to
-       become a member of the GNOME community. There are several sub-projects
-       to choose from.
-      </_abstract>
-      <href>http://www.gnome.org/get-involved/</href>
-    </document>
-
-    <document doc_module="devel-resource-bugzilla" channel="devel"
-             category="devel-resource" weight="0.9">
-      <new/>
-      <_title>GNOME Bug Tracker</_title>
-      <_abstract>
-       The GNOME Bug Tracker allows you to send information about bugs you
-       encounter to the GNOME developers in an organized manner.
-      </_abstract>
-      <href>https://wiki.gnome.org/Bugzilla</href>
-    </document>
-
-    <document doc_module="devel-resource-release-planning" channel="devel"
-             category="devel-resource" weight="0.7">
-      <new/>
-      <_title>Release Planning</_title>
-      <_abstract>
-        A feast of essential GNOME future planning information.
-      </_abstract>
-      <href>https://wiki.gnome.org/ReleasePlanning</href>
-    </document>
-
-
-    <document doc_module="devel-resource-devscripts" channel="devel"
-             category="devel-resource" weight="0.6">
-      <new/>
-      <_title>Developer Scripts</_title>
-      <_abstract>
-        A collection of useful scripts to help developers accomplish simple (often
-       repetitive) tasks.
-      </_abstract>
-      <href>https://wiki.gnome.org/DeveloperUtilities</href>
-    </document>
-
-    <document doc_module="devel-resource-subversion" channel="devel"
-             category="devel-resource" weight="0.8">
-      <new/>
-      <_title>GNOME Git Repository</_title>
-      <_abstract>
-        The GNOME Git Tree holds the latest development versions of the main
-       GNOME packages, and allows coordination of GNOME development.
-      </_abstract>
-      <href>https://wiki.gnome.org/Git</href>
-    </document>
-
     <extrawikidocs>
       <!-- create a serie of documents out of -->
       <channel>devel</channel>