diff --git a/common/shlibs b/common/shlibs index a9a3fe79341..c1fbd666ac0 100644 --- a/common/shlibs +++ b/common/shlibs @@ -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 diff --git a/srcpkgs/devhelp-devel b/srcpkgs/devhelp-devel new file mode 120000 index 00000000000..8fc1e34f403 --- /dev/null +++ b/srcpkgs/devhelp-devel @@ -0,0 +1 @@ +devhelp \ No newline at end of file diff --git a/srcpkgs/devhelp-gedit-plugin b/srcpkgs/devhelp-gedit-plugin new file mode 120000 index 00000000000..8fc1e34f403 --- /dev/null +++ b/srcpkgs/devhelp-gedit-plugin @@ -0,0 +1 @@ +devhelp \ No newline at end of file diff --git a/srcpkgs/devhelp-libs b/srcpkgs/devhelp-libs new file mode 120000 index 00000000000..8fc1e34f403 --- /dev/null +++ b/srcpkgs/devhelp-libs @@ -0,0 +1 @@ +devhelp \ No newline at end of file diff --git a/srcpkgs/devhelp/template b/srcpkgs/devhelp/template new file mode 100644 index 00000000000..2b293fa3d79 --- /dev/null +++ b/srcpkgs/devhelp/template @@ -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 " +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 + } +}