# Generated by makepkg 4.1.2
# using fakeroot version 1.20
# Tue Sep 24 08:55:01 UTC 2013
pkgname = devhelp
pkgver = 3.10.0-1
pkgdesc = API documentation browser for GNOME
url = http://live.gnome.org/devhelp/
builddate = 1380012901
packager = Jan de Groot <jgc@archlinux.org>
size = 934912
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
