New package: devhelp-3.8.2.
This commit is contained in:
parent
f9ff22de59
commit
3084b1fef7
|
@ -1380,3 +1380,4 @@ libgda-5.0.so.4 libgda-5.1.2_1
|
|||
libgda-report-5.0.so.4 libgda-5.1.2_1
|
||||
libgda-ui-5.0.so.4 libgda-5.1.2_1
|
||||
libgda-xslt-5.0.so.4 libgda-5.1.2_1
|
||||
libdevhelp-3.so.2 devhelp-libs-3.8.2_1
|
||||
|
|
1
srcpkgs/devhelp-devel
Symbolic link
1
srcpkgs/devhelp-devel
Symbolic link
|
@ -0,0 +1 @@
|
|||
devhelp
|
1
srcpkgs/devhelp-gedit-plugin
Symbolic link
1
srcpkgs/devhelp-gedit-plugin
Symbolic link
|
@ -0,0 +1 @@
|
|||
devhelp
|
1
srcpkgs/devhelp-libs
Symbolic link
1
srcpkgs/devhelp-libs
Symbolic link
|
@ -0,0 +1 @@
|
|||
devhelp
|
48
srcpkgs/devhelp/template
Normal file
48
srcpkgs/devhelp/template
Normal file
|
@ -0,0 +1,48 @@
|
|||
# Template file for 'devhelp'
|
||||
pkgname=devhelp
|
||||
version=3.8.2
|
||||
revision=1
|
||||
build_style=gnu-configure
|
||||
hostmakedepends="pkg-config"
|
||||
makedepends="intltool glib-devel gtk+3-devel webkitgtk-devel"
|
||||
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}/3.8/${pkgname}-${version}.tar.xz"
|
||||
checksum=a245b53824c6f2ff89245ff807bb2140bde74951ea6f1d759a0fd0c6959ca9f7
|
||||
long_desc="
|
||||
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
|
||||
throughout GNOME for API documentation). If you use gtk-doc with your project,
|
||||
you can use Devhelp to browse the documentation."
|
||||
|
||||
devhelp-devel_package() {
|
||||
short_desc+=" (Development files)"
|
||||
depends="devhelp"
|
||||
pkg_install() {
|
||||
vmove usr/include
|
||||
vmove usr/lib/pkgconfig
|
||||
}
|
||||
}
|
||||
|
||||
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
|
||||
}
|
||||
}
|
||||
|
||||
devhelp_package() {
|
||||
pkg_install() {
|
||||
vmove usr
|
||||
}
|
||||
}
|
Loading…
Reference in New Issue
Block a user