# Template file for 'devhelp' pkgname=devhelp version=3.28.1 revision=1 build_style=gnu-configure hostmakedepends="glib-devel itstool pkg-config" makedepends="gsettings-desktop-schemas-devel webkit2gtk-devel" short_desc="API documentation browser for GTK+ and GNOME" maintainer="Enno Boland " license="GPL-2.0-or-later" homepage="https://wiki.gnome.org/devhelp" distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz" checksum=da1ce2c66ba54908c2de5ae6b59255f02b13ca3bf98cf6c198c87c2c7fec4821 devhelp-devel_package() { short_desc+=" - development files" depends="gsettings-desktop-schemas-devel webkit2gtk-devel 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 } }