devhelp: update to 3.12.0.
This commit is contained in:
parent
54009ef06c
commit
4f6862a212
|
@ -1,20 +1,20 @@
|
||||||
# Template file for 'devhelp'
|
# Template file for 'devhelp'
|
||||||
pkgname=devhelp
|
pkgname=devhelp
|
||||||
version=3.10.2
|
version=3.12.0
|
||||||
revision=2
|
revision=1
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
hostmakedepends="pkg-config intltool"
|
hostmakedepends="pkg-config intltool"
|
||||||
makedepends="webkitgtk-devel>=2.1"
|
makedepends="webkitgtk-devel>=2.4"
|
||||||
short_desc="API documentation browser for GTK+ and GNOME"
|
short_desc="API documentation browser for GTK+ and GNOME"
|
||||||
maintainer="davehome <davehome@redthumb.info.tm>"
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
||||||
license="GPL-2"
|
license="GPL-2"
|
||||||
homepage="https://wiki.gnome.org/devhelp"
|
homepage="https://wiki.gnome.org/devhelp"
|
||||||
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
|
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
|
||||||
checksum=498cc367b9cb7924dd4905e9c3e7d9738f572e4735a769fc5de6e2f06bebf793
|
checksum=1e0824a08e85cb720851ea407eec9525c6fb5adbce4464d74e956ec67ec31dd8
|
||||||
|
|
||||||
devhelp-devel_package() {
|
devhelp-devel_package() {
|
||||||
short_desc+=" - Development files"
|
short_desc+=" - Development files"
|
||||||
depends="webkitgtk-devel>=2.1 devhelp-libs>=${version}_${revision}"
|
depends="webkitgtk-devel>=2.4 devhelp-libs>=${version}_${revision}"
|
||||||
pkg_install() {
|
pkg_install() {
|
||||||
vmove usr/include
|
vmove usr/include
|
||||||
vmove usr/lib/pkgconfig
|
vmove usr/lib/pkgconfig
|
||||||
|
|
Loading…
Reference in New Issue