# Description: gtk documentation system. # URL: http://www.gtk.org/gtk-doc/ # Maintainer: Danny Rawlins, crux at romster dot me # Packager: Antonio SJ Musumeci, bile at landofbile dot com # Depends on: docbook-xml docbook-xsl openjade itstool name=gtk-doc version=1.19 release=1 source=(http://ftp.gnome.org/pub/GNOME/sources/$name/$version/$name-$version.tar.xz) build() { cd $name-$version ./configure --prefix=/usr make make DESTDIR=$PKG install rm -r $PKG/usr/share/help }