From 26d4186909f7cb99ec464c9d5461f6b847a6df9c Mon Sep 17 00:00:00 2001
From: Joachim Noreiko <joachimn@src.gnome.org>
Date: Sat, 1 Jul 2006 16:03:03 +0000
Subject: link to Bug Report Tool manual

---
 gnome2-user-guide/C/gosfeedback.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gnome2-user-guide/C/gosfeedback.xml b/gnome2-user-guide/C/gosfeedback.xml
index d78a34e..4210580 100644
--- a/gnome2-user-guide/C/gosfeedback.xml
+++ b/gnome2-user-guide/C/gosfeedback.xml
@@ -15,8 +15,9 @@
    error messages, be sure to include them, too.  
       </para> 
       <para>
-	The easiest way to report bugs is by using <application>Bug
-	  Report Tool</application> (<command>bug-buddy</command>),
+	The easiest way to report bugs is by using the 
+	<ulink type="gnome" url="ghelp:bug-buddy"><application>Bug
+	  Report Tool</application></ulink>,
 	  available in the <guisubmenu>System Tools</guisubmenu> submenu
 	  of <guimenu>Applications</guimenu> menu. This utility will guide you
 	  through the bug reporting process; it will also
-- 
cgit