diff options
| -rw-r--r-- | abs/extra/yelp-tools/PKGBUILD | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/abs/extra/yelp-tools/PKGBUILD b/abs/extra/yelp-tools/PKGBUILD new file mode 100644 index 0000000..a5fba2f --- /dev/null +++ b/abs/extra/yelp-tools/PKGBUILD @@ -0,0 +1,26 @@ +# $Id$ +# Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> +# Contributor: Jan de Groot <jgc@archlinux.org> + +pkgname=yelp-tools +pkgver=3.18.0 +pkgrel=1 +pkgdesc="Tools for creating Yelp documentation" +arch=('any') +depends=('yelp-xsl' 'libxslt' 'libxml2' 'itstool') +license=('GPL') +options=('!emptydirs') +url="http://www.gnome.org" +source=(https://download.gnome.org/sources/$pkgname/${pkgver:0:4}/$pkgname-$pkgver.tar.xz) +sha256sums=('c6c1d65f802397267cdc47aafd5398c4b60766e0a7ad2190426af6c0d0716932') + +build() { + cd $pkgname-$pkgver + ./configure --prefix=/usr + make +} + +package() { + cd $pkgname-$pkgver + make DESTDIR="$pkgdir" install +} |