From 3136a2c93b44f824c2a44ff56979ef31e8f0850a Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Fri, 17 Jan 2020 15:19:30 -0500
Subject: [PATCH] gnome-user-docs: fixed ubuntu-docs removal

---
 helpers/make-gnome-user-docs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helpers/make-gnome-user-docs b/helpers/make-gnome-user-docs
index 8500cd433..ef9b91549 100644
--- a/helpers/make-gnome-user-docs
+++ b/helpers/make-gnome-user-docs
@@ -17,12 +17,12 @@
 #    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
 #
 
-VERSION=1
+VERSION=2
 COMPONENT=main
 
 . ./config
 
-sed 's/ubuntu-docs.*)/yelp/' -i debian/control*
+sed '/ubuntu-docs/d' -i debian/control*
 touch AUTHORS
 
 changelog "Removed ubuntu-docs dependency"
-- 
GitLab