# Template file for 'devhelp'
pkgname=devhelp
version=3.10.2
revision=2
build_style=gnu-configure
hostmakedepends="pkg-config intltool"
makedepends="webkitgtk-devel>=2.1"
short_desc="API documentation browser for GTK+ and GNOME"
maintainer="davehome <davehome@redthumb.info.tm>"
license="GPL-2"
homepage="https://wiki.gnome.org/devhelp"
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
checksum=498cc367b9cb7924dd4905e9c3e7d9738f572e4735a769fc5de6e2f06bebf793

devhelp-devel_package() {
	short_desc+=" - Development files"
	depends="webkitgtk-devel>=2.1 devhelp-libs>=${version}_${revision}"
	pkg_install() {
		vmove usr/include
		vmove usr/lib/pkgconfig
		vmove "usr/lib/*.so"
	}
}

devhelp-libs_package() {
	short_desc+=" - Runtime library"
	pkg_install() {
		vmove "usr/lib/libdevhelp*.so.*"
	}
}

devhelp-gedit-plugin_package() {
	short_desc+=" - gedit plugin"
	depends="devhelp gedit python"
	pkg_install() {
		vmove usr/lib/gedit
	}
}
