devhelp: update to 3.14.0.

This commit is contained in:
Juan RP 2015-01-13 19:22:47 +01:00
parent 434fa969a7
commit e5baf5e2bc
1 changed files with 5 additions and 7 deletions

View File

@ -1,6 +1,6 @@
# Template file for 'devhelp'
pkgname=devhelp
version=3.12.1
version=3.14.0
revision=1
build_style=gnu-configure
hostmakedepends="pkg-config intltool"
@ -10,25 +10,23 @@ maintainer="Juan RP <xtraeme@gmail.com>"
license="GPL-2"
homepage="https://wiki.gnome.org/devhelp"
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
checksum=ce2c73e25eaec553abcfdb57de4ec399fa051783e0d4fbbb63da0fda1c6c8335
checksum=a78884cf81c1fb18fc8356c62271292591d5ca62c58b045dee30c6fc278e7083
devhelp-devel_package() {
short_desc+=" - Development files"
depends="webkitgtk-devel>=2.4 devhelp-libs>=${version}_${revision}"
short_desc+=" - development files"
depends="${makedepends} devhelp-libs>=${version}_${revision}"
pkg_install() {
vmove usr/include
vmove usr/lib/pkgconfig
vmove "usr/lib/*.so"
}
}
devhelp-libs_package() {
short_desc+=" - Runtime library"
short_desc+=" - runtime library"
pkg_install() {
vmove "usr/lib/libdevhelp*.so.*"
}
}
devhelp-gedit-plugin_package() {
short_desc+=" - gedit plugin"
depends="devhelp gedit python"