Commit 047b00d8 authored by Tails developers's avatar Tails developers

Use the actual name of that tool

parent 3c02c633
......@@ -25,7 +25,7 @@ The <span class="guimenu">Applications</span> menu provides shortcuts to the
[[!img applications.png link=no alt="Applications menu"]]
<span class="guimenuitem">Help</span>:
to access the GNOME help menu choose
to access the GNOME Desktop Help choose
<span class="menuchoice">
<span class="guisubmenu">Accessories</span>&nbsp;▸
<span class="guimenuitem">Help</span></span>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment