[library-web] Include Gtef in developer.gnome.org

[Sébastien Wilmet <swilmet src gnome org>]

commit cb019a186eb5da8b854638b0c34b58fb8cd74401
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed Apr 12 17:33:30 2017 +0200

    Include Gtef in developer.gnome.org
    
    I've used <abstract> instead of <_abstract> because Gtef is an acronym.
    If "GTK+ Text Editor Framework" is translated it will no longer match
    the acronym. I prefer that it's not translated.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=781224

 data/extra-tarballs |    1 +
 data/overlay.xml.in |    7 +++++++
 2 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/data/extra-tarballs b/data/extra-tarballs
index 83926dd..de08e2e 100644
--- a/data/extra-tarballs
+++ b/data/extra-tarballs
@@ -93,6 +93,7 @@ gnome://discident-glib
 gnome://libgit2-glib
 gnome://libgudev
 gnome://gspell
+gnome://gtef
 
 gnome://gnome-devel-docs?min=3.15
 gnome://gnome-user-docs?min=3.15
diff --git a/data/overlay.xml.in b/data/overlay.xml.in
index b051cea..adc6161 100644
--- a/data/overlay.xml.in
+++ b/data/overlay.xml.in
@@ -1313,6 +1313,13 @@ libgudev is a library providing GObject bindings for libudev.
       </_abstract>
     </document>
 
+    <document doc_module="gtef" channel="devel" category="api">
+      <subsection>api-utilities</subsection>
+      <abstract>
+        GTK+ Text Editor Framework
+      </abstract>
+    </document>
+
     <document doc_module="libgxps" channel="devel">
       <category>api-base</category>
       <subsection>api-utilities</subsection>