From abcc8281f5217264ae13ef344f53647d65a0d9c8 Mon Sep 17 00:00:00 2001 From: Danny Rawlins Date: Wed, 20 Nov 2013 23:54:00 +1100 Subject: [notify] gtk-doc: 1.18 -> 1.19. New dependency itstool --- gtk-doc/Pkgfile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'gtk-doc/Pkgfile') diff --git a/gtk-doc/Pkgfile b/gtk-doc/Pkgfile index f13071c50..918a167b6 100644 --- a/gtk-doc/Pkgfile +++ b/gtk-doc/Pkgfile @@ -1,11 +1,11 @@ # Description: gtk documentation system. # URL: http://www.gtk.org/gtk-doc/ -# Maintainer Danny Rawlins, monster dot romster at gmail dot com +# Maintainer: Danny Rawlins, monster dot romster at gmail dot com # Packager: Antonio SJ Musumeci, bile at landofbile dot com -# Depends on: docbook-xml docbook-xsl openjade +# Depends on: docbook-xml docbook-xsl openjade itstool name=gtk-doc -version=1.18 +version=1.19 release=1 source=(http://ftp.gnome.org/pub/GNOME/sources/$name/$version/$name-$version.tar.xz) @@ -14,4 +14,6 @@ build() { ./configure --prefix=/usr make make DESTDIR=$PKG install + + rm -r $PKG/usr/share/help } -- cgit v1.2.3