From cc16cea37ff0e916779dda324aa26cdbfeef3b23 Mon Sep 17 00:00:00 2001 From: maxice8 Date: Tue, 24 Apr 2018 20:47:33 -0300 Subject: [PATCH] gnome-terminal: remove gnome-doc-utils Closes #13827. Signed-off-by: Enno Boland --- srcpkgs/gnome-terminal/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/gnome-terminal/template b/srcpkgs/gnome-terminal/template index 9dd9959f924..d9dd3ec89bb 100644 --- a/srcpkgs/gnome-terminal/template +++ b/srcpkgs/gnome-terminal/template @@ -1,10 +1,10 @@ # Template file for 'gnome-terminal' pkgname=gnome-terminal version=3.28.1 -revision=1 +revision=2 build_style=gnu-configure configure_args="--disable-static --with-nautilus-extension --disable-migration" -hostmakedepends="appdata-tools glib-devel gnome-doc-utils intltool itstool +hostmakedepends="appdata-tools glib-devel intltool itstool pkg-config" makedepends="dconf-devel gnome-shell gsettings-desktop-schemas-devel nautilus-devel vte3-devel"