commit 7e5d4ed1788caa38a4c9e98613dad1cccf356386
author njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> Thu Jul 30 02:57:52 2009 +0000
committer njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> Thu Jul 30 02:57:52 2009 +0000
tree cef5ffa4b4d52cdd7ab03e38e2f017002da787ab
parent d09133d1e1a4b29de770d392c944b4e840a4895f

We currently use a mix of <option> and <computeroutput> tags for command
line options.  This commit changes them to all <option>.

Also make consistent how options with multiple names (eg. -h --help) are
shown.

Also, remove section describing --help and --version in Callgrind's chapter;
these aren't necessary and are presumably a hangover from when Callgrind was
a separate tool.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10659 a5019735-40e9-0310-863c-91ae7b9d1cf9