[jhbuild] sound-juicer now uses yelp-tools

[Phillip Wood <pwood src gnome org>]

commit 46ca310fb3852f41075355379335173a78a3a8ae
Author: Phillip Wood <phillip wood dunelm org uk>
Date:   Thu Feb 20 13:16:23 2014 +0000

    sound-juicer now uses yelp-tools
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724801

 modulesets/gnome-world-3.12.modules |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/modulesets/gnome-world-3.12.modules b/modulesets/gnome-world-3.12.modules
index 7384208..46a3531 100644
--- a/modulesets/gnome-world-3.12.modules
+++ b/modulesets/gnome-world-3.12.modules
@@ -3173,7 +3173,7 @@
       <dep package="intltool"/>
       <dep package="glib"/>
       <dep package="gtk+"/>
-      <dep package="gnome-doc-utils"/>
+      <dep package="yelp-tools"/>
       <dep package="gstreamer"/>
       <dep package="gst-plugins-base"/>
       <dep package="gst-plugins-good"/>