diff options
| author | Joachim Noreiko <joachimn@src.gnome.org> | 2006-07-01 16:03:03 +0000 |
|---|---|---|
| committer | Joachim Noreiko <joachimn@src.gnome.org> | 2006-07-01 16:03:03 +0000 |
| commit | 26d4186909f7cb99ec464c9d5461f6b847a6df9c (patch) | |
| tree | 91f08f29d6fefc45beb87c4c565fc1f07e2c81d9 | |
| parent | e736cd3529bab71fc7b856fba1e5a3b7828b18ec (diff) | |
| download | gnome-user-docs-26d4186909f7cb99ec464c9d5461f6b847a6df9c.tar.gz gnome-user-docs-26d4186909f7cb99ec464c9d5461f6b847a6df9c.tar.xz gnome-user-docs-26d4186909f7cb99ec464c9d5461f6b847a6df9c.zip | |
link to Bug Report Tool manual
| -rw-r--r-- | gnome2-user-guide/C/gosfeedback.xml | 5 |
1 files 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 |