diff options
Diffstat (limited to 'gtk-doc/Pkgfile')
| -rw-r--r-- | gtk-doc/Pkgfile | 8 |
1 files changed, 5 insertions, 3 deletions
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 } |