diff --git a/helpers/make-yelp b/helpers/make-yelp deleted file mode 100644 index 624f22f5eee6f780ac5e8f0ec019fdb4e1e6e0ef..0000000000000000000000000000000000000000 --- a/helpers/make-yelp +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh -# -# Copyright (C) 2013 Rubén RodrÃguez <ruben@trisquel.info> -# -# 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 -QUILT=skip -COMPONENT=main -. ./config - -rm debian/patches/06_make_ubuntu_docs_default.patch -sed '/make_ubuntu_docs_default/d' -i debian/patches/series - -export QUILT_PATCHES=debian/patches -quilt push -a - -changelog "Revert from using ubuntu-help to default gnome-help" -compile -