From 26db863cdaa24d16c354533fdf8ebc90df99fd51 Mon Sep 17 00:00:00 2001
From: Jascha Geerds <jg@ekby.de>
Date: Fri, 14 Aug 2015 11:58:46 +0200
Subject: [PATCH] gnome3.devhelp: init at 3.16.1

---
 pkgs/desktops/gnome-3/3.16/default.nix        |  4 ++++
 .../gnome-3/3.16/devtools/devhelp/default.nix | 23 +++++++++++++++++++
 2 files changed, 27 insertions(+)
 create mode 100644 pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix

diff --git a/pkgs/desktops/gnome-3/3.16/default.nix b/pkgs/desktops/gnome-3/3.16/default.nix
index e9bfdee7b37a..d7cf6ad9de8a 100644
--- a/pkgs/desktops/gnome-3/3.16/default.nix
+++ b/pkgs/desktops/gnome-3/3.16/default.nix
@@ -308,6 +308,10 @@ let
 
   anjuta = callPackage ./devtools/anjuta { };
 
+  devhelp = callPackage ./devtools/devhelp {
+    webkitgtk = webkitgtk24x;
+  };
+
   gdl = callPackage ./devtools/gdl { };
 
   gnome-devel-docs = callPackage ./devtools/gnome-devel-docs { };
diff --git a/pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix b/pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix
new file mode 100644
index 000000000000..bc3521013832
--- /dev/null
+++ b/pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix
@@ -0,0 +1,23 @@
+{ stdenv, fetchurl, pkgconfig, gnome3, gtk3, wrapGAppsHook
+, webkitgtk, intltool, hicolor_icon_theme }:
+
+stdenv.mkDerivation rec {
+  name = "devhelp-${gnome3.version}.1";
+
+  src = fetchurl {
+    url = "mirror://gnome/sources/devhelp/${gnome3.version}/${name}.tar.xz";
+    sha256 = "0i8kyh86hzwxs8dm047ivghl2b92vigdxa3x4pk4ha0whpk38g37";
+  };
+
+  buildInputs = [
+    pkgconfig gtk3 wrapGAppsHook webkitgtk intltool hicolor_icon_theme
+  ];
+
+  meta = with stdenv.lib; {
+    homepage = https://live.gnome.org/devhelp;
+    description = "API documentation browser for GNOME";
+    maintainers = gnome3.maintainers;
+    license = licenses.gpl2;
+    platforms = platforms.linux;
+  };
+}