|
From: <sv...@va...> - 2011-08-15 08:25:42
|
Author: tom
Date: 2011-08-15 09:20:53 +0100 (Mon, 15 Aug 2011)
New Revision: 11979
Log:
Mention the --tool option in the manual page. Fixes #249970.
Modified:
trunk/docs/xml/manual-core.xml
trunk/docs/xml/valgrind-manpage.xml
Modified: trunk/docs/xml/manual-core.xml
===================================================================
--- trunk/docs/xml/manual-core.xml 2011-08-15 08:20:23 UTC (rev 11978)
+++ trunk/docs/xml/manual-core.xml 2011-08-15 08:20:53 UTC (rev 11979)
@@ -564,9 +564,9 @@
<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>
Modified: trunk/docs/xml/valgrind-manpage.xml
===================================================================
--- trunk/docs/xml/valgrind-manpage.xml 2011-08-15 08:20:23 UTC (rev 11978)
+++ trunk/docs/xml/valgrind-manpage.xml 2011-08-15 08:20:53 UTC (rev 11979)
@@ -49,6 +49,19 @@
+<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>
|