From d8dd998ff0bc1d3ee6c7d897d12124c1a948190a Mon Sep 17 00:00:00 2001
From: Luca Bruno <luca.bruno@immobiliare.it>
Date: Mon, 17 Feb 2014 12:35:02 +0100
Subject: [PATCH] gnome3: Add missing yelp_tools in gnome-3/default.nix

---
 pkgs/desktops/gnome-3/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/desktops/gnome-3/default.nix b/pkgs/desktops/gnome-3/default.nix
index b0c0f6c7f785..bc6a2ff68425 100644
--- a/pkgs/desktops/gnome-3/default.nix
+++ b/pkgs/desktops/gnome-3/default.nix
@@ -90,6 +90,8 @@ rec {
 
   yelp_xsl = callPackage ./core/yelp-xsl { };
 
+  yelp_tools = callPackage ./core/yelp-tools { };
+
   zenity = callPackage ./core/zenity { };