[library-web: 1/2] data: remove the Tepl library

[Petr Kovář <pmkovar src gnome org>]

commit 6d1331e252285662ac2b392f2f728ef599e348b6
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed Apr 1 22:45:21 2020 +0200

    data: remove the Tepl library
    
    Because Tepl has been migrated to Meson.

 data/extra-tarballs | 1 -
 data/overlay.xml.in | 7 -------
 2 files changed, 8 deletions(-)
---
diff --git a/data/extra-tarballs b/data/extra-tarballs
index e67290f..ef09b50 100644
--- a/data/extra-tarballs
+++ b/data/extra-tarballs
@@ -89,7 +89,6 @@ gnome://libgudev
 gnome://libsecret
 gnome://libzapojit
 gnome://pango?min=1.40
-gnome://tepl
 
 # applications, no longer managed by the release team
 gnome://aisleriot?min=3.28
diff --git a/data/overlay.xml.in b/data/overlay.xml.in
index d1c6dfb..851c6bf 100644
--- a/data/overlay.xml.in
+++ b/data/overlay.xml.in
@@ -1349,13 +1349,6 @@ libgudev is a library providing GObject bindings for libudev.
       </_abstract>
     </document>
 
-    <document doc_module="tepl" channel="devel" category="api">
-      <subsection>api-utilities</subsection>
-      <abstract>
-        Text editor product line
-      </abstract>
-    </document>
-
     <document doc_module="amtk" channel="devel" category="api">
       <subsection>api-utilities</subsection>
       <abstract>