diff options
| author | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2011-08-15 08:20:53 +0000 |
|---|---|---|
| committer | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2011-08-15 08:20:53 +0000 |
| commit | 0e1b0c22dfc0af517b0ad74e24bcea4f5eb22962 (patch) | |
| tree | 6749ce9100b0271ae63aa7b2cccfb992d683ce8d /docs | |
| parent | 164d2fe1a3e55a84ccd501fd24597b6b4456a93f (diff) | |
Mention the --tool option in the manual page. Fixes #249970.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11979 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/xml/manual-core.xml | 4 | ||||
| -rw-r--r-- | docs/xml/valgrind-manpage.xml | 13 |
2 files changed, 15 insertions, 2 deletions
diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml index de0d333d..1e03d66f 100644 --- a/docs/xml/manual-core.xml +++ b/docs/xml/manual-core.xml @@ -564,9 +564,9 @@ in most cases. We group the available options by rough categories.</para> <sect2 id="manual-core.toolopts" xreflabel="Tool-selection Option"> <title>Tool-selection Option</title> -<para>The single most important option.</para> +<para id="tool.opts.para">The single most important option.</para> -<variablelist> +<variablelist id="tool.opts.list"> <varlistentry id="tool_name" xreflabel="--tool"> <term> diff --git a/docs/xml/valgrind-manpage.xml b/docs/xml/valgrind-manpage.xml index 0d086fff..8f2f6307 100644 --- a/docs/xml/valgrind-manpage.xml +++ b/docs/xml/valgrind-manpage.xml @@ -49,6 +49,19 @@ system: <filename>&vg-docs-path;</filename>, or online: +<refsect1 id="tool-selection-options"> +<title>Tool Selection Options</title> + +<xi:include href="manual-core.xml" xpointer="tool.opts.para" + xmlns:xi="http://www.w3.org/2001/XInclude" /> + +<xi:include href="manual-core.xml" xpointer="tool.opts.list" + xmlns:xi="http://www.w3.org/2001/XInclude" /> + +</refsect1> + + + <refsect1 id="basic-options"> <title>Basic Options</title> |