[library-web] Gtef -> Tepl: the library has been renamed

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

commit 6753e4ba8b3ed7f2b9935a293af507bceec833c0
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Thu Jun 15 13:20:15 2017 +0200

    Gtef -> Tepl: the library has been renamed

 data/extra-tarballs |    2 +-
 data/overlay.xml.in |    4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/data/extra-tarballs b/data/extra-tarballs
index de08e2e..923562b 100644
--- a/data/extra-tarballs
+++ b/data/extra-tarballs
@@ -93,7 +93,7 @@ gnome://discident-glib
 gnome://libgit2-glib
 gnome://libgudev
 gnome://gspell
-gnome://gtef
+gnome://tepl
 
 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 adc6161..bc02d63 100644
--- a/data/overlay.xml.in
+++ b/data/overlay.xml.in
@@ -1313,10 +1313,10 @@ libgudev is a library providing GObject bindings for libudev.
       </_abstract>
     </document>
 
-    <document doc_module="gtef" channel="devel" category="api">
+    <document doc_module="tepl" channel="devel" category="api">
       <subsection>api-utilities</subsection>
       <abstract>
-        GTK+ Text Editor Framework
+        Text editor product line
       </abstract>
     </document>