| commit | 090b529ed70fcfb791c327694f29e9f219abf1c1 | [log] [tgz] |
|---|---|---|
| author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Apr 30 20:23:47 2014 +0000 |
| committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Apr 30 20:23:47 2014 +0000 |
| tree | 0b7c8673dcffab1f82c9f7f854f48a2261b19158 | |
| parent | 08a0e88312de3bf39ef35e1f47e79e2537041941 [diff] |
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