# Generated by makepkg 4.1.2
# using fakeroot version 1.20
# Fri Apr 18 11:17:29 UTC 2014
pkgname = devhelp
pkgver = 3.12.1-1
pkgdesc = API documentation browser for GNOME
url = http://live.gnome.org/devhelp/
builddate = 1397819849
packager = Jan Alexander Steffens (heftig) <jan.steffens@gmail.com>
size = 963584
arch = i686
license = GPL
group = gnome-extra
depend = webkitgtk
depend = hicolor-icon-theme
makedepend = pkgconfig
makedepend = intltool
makedepend = python
makepkgopt = strip
makepkgopt = docs
makepkgopt = !libtool
makepkgopt = !staticlibs
makepkgopt = !emptydirs
makepkgopt = zipman
makepkgopt = purge
makepkgopt = !upx
makepkgopt = !debug
