diff options
| author | Danny Rawlins <monster.romster@gmail.com> | 2013-11-20 23:54:00 +1100 |
|---|---|---|
| committer | Danny Rawlins <monster.romster@gmail.com> | 2013-11-20 23:54:00 +1100 |
| commit | abcc8281f5217264ae13ef344f53647d65a0d9c8 (patch) | |
| tree | 58260541145bdba1bc931322b105251086718bfa /gtk-doc/Pkgfile | |
| parent | 42216ffbf8ff3728a8d3d52a552c56abe25d0110 (diff) | |
| download | contrib-abcc8281f5217264ae13ef344f53647d65a0d9c8.tar.gz contrib-abcc8281f5217264ae13ef344f53647d65a0d9c8.tar.xz | |
[notify] gtk-doc: 1.18 -> 1.19. New dependency itstool
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 } |