jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

devhelp: update to 3.10.0.

Browse source
This commit is contained in:
Juan RP 2013-09-26 23:00:47 +02:00
parent 5f9fe6a2b2
commit fa92251394
1 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
srcpkgs/devhelp/template
View file

@ -1,16 +1,16 @@
# Template file for 'devhelp' # Template file for 'devhelp'
pkgname=devhelp pkgname=devhelp
version=3.8.2 version=3.10.0
revision=2 revision=1
build_style=gnu-configure build_style=gnu-configure
hostmakedepends="pkg-config intltool" hostmakedepends="pkg-config intltool"
makedepends="glib-devel gtk+3-devel webkitgtk-devel" makedepends="webkitgtk-devel>=2.1"
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="davehome <davehome@redthumb.info.tm>"
license="GPL-2" license="GPL-2"
homepage="https://wiki.gnome.org/devhelp" homepage="https://wiki.gnome.org/devhelp"
distfiles="${GNOME_SITE}/${pkgname}/3.8/${pkgname}-${version}.tar.xz" distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
checksum=a245b53824c6f2ff89245ff807bb2140bde74951ea6f1d759a0fd0c6959ca9f7 checksum=4d28d21a0331c67086607b737147947b288416ab38c8a0b0264f7a63bd4fce9b
long_desc=" long_desc="
Devhelp is an API documentation browser for GTK+ and GNOME. It works natively Devhelp is an API documentation browser for GTK+ and GNOME. It works natively
with gtk-doc (the API reference framework developed for GTK+ and used with gtk-doc (the API reference framework developed for GTK+ and used
@ -18,8 +18,8 @@ long_desc="
you can use Devhelp to browse the documentation." you can use Devhelp to browse the documentation."
devhelp-devel_package() { devhelp-devel_package() {
short_desc+=" (Development files)" short_desc+=" - Development files"
depends="gtk+3-devel webkitgtk-devel devhelp-libs-${version}_${revision}" depends="webkitgtk-devel>=2.1 devhelp-libs-${version}_${revision}"
pkg_install() { pkg_install() {
vmove usr/include vmove usr/include
vmove usr/lib/pkgconfig vmove usr/lib/pkgconfig
@ -28,14 +28,14 @@ devhelp-devel_package() {
} }
devhelp-libs_package() { devhelp-libs_package() {
short_desc+=" (Runtime library)" short_desc+=" - Runtime library"
pkg_install() { pkg_install() {
vmove "usr/lib/libdevhelp*.so.*" vmove "usr/lib/libdevhelp*.so.*"
} }
} }
devhelp-gedit-plugin_package() { devhelp-gedit-plugin_package() {
short_desc+=" (gedit plugin)" short_desc+=" - gedit plugin"
depends="devhelp gedit python" depends="devhelp gedit python"
pkg_install() { pkg_install() {
vmove usr/lib/gedit vmove usr/lib/gedit
@ -44,6 +44,6 @@ devhelp-gedit-plugin_package() {
devhelp_package() { devhelp_package() {
pkg_install() { pkg_install() {
vmove usr vmove all
} }
} }