Fix/improve user manual and man page derived from it.
The current manual and man page tells:
--tool=<toolname> [default: memcheck]
Run the Valgrind tool called toolname, e.g. Memcheck, Cachegrind, etc.
where the toolname examples do not list all the tools, and use uppercase
first letter, which is not understood.
So, use lower case, and give the list of all known tools.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13920 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml
index c7f8e1a..ab8f591 100644
--- a/docs/xml/manual-core.xml
+++ b/docs/xml/manual-core.xml
@@ -584,7 +584,8 @@
</term>
<listitem>
<para>Run the Valgrind tool called <varname>toolname</varname>,
- e.g. Memcheck, Cachegrind, etc.</para>
+ e.g. memcheck, cachegrind, callgrind, helgrind, drd, massif,
+ lackey, none, exp-sgcheck, exp-bbv, exp-dhat, etc.</para>
</listitem>
</varlistentry>
