From 60314bd78f1bbe05396fef86f760f351cc9ed3f1 Mon Sep 17 00:00:00 2001 From: Ruben Rodriguez Date: Fri, 17 Jan 2020 15:06:04 -0500 Subject: [PATCH] Added make-gnome-user-docs, removes ubuntu-docs dependency --- helpers/make-gnome-user-docs | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 helpers/make-gnome-user-docs diff --git a/helpers/make-gnome-user-docs b/helpers/make-gnome-user-docs new file mode 100644 index 0000000..8500cd4 --- /dev/null +++ b/helpers/make-gnome-user-docs @@ -0,0 +1,31 @@ +#!/bin/sh +# +# Copyright (C) 2020 Rubén Rodríguez +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA +# + +VERSION=1 +COMPONENT=main + +. ./config + +sed 's/ubuntu-docs.*)/yelp/' -i debian/control* +touch AUTHORS + +changelog "Removed ubuntu-docs dependency" + +compile +