Mark Wielaard 58b00c
commit a02e2677ab02bcded6111d74320d4c1f4f062798
Mark Wielaard 58b00c
Author: philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9>
Mark Wielaard 58b00c
Date:   Wed Mar 6 22:39:18 2013 +0000
Mark Wielaard 58b00c
Mark Wielaard 58b00c
    Fix 316144 (valgrind.1 manpage contains ??? strings for references)
Mark Wielaard 58b00c
    Patch by Mark Wielaard.
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13314 a5019735-40e9-0310-863c-91ae7b9d1cf9
Mark Wielaard 58b00c
Mark Wielaard 58b00c
diff --git a/docs/xml/manual-core-adv.xml b/docs/xml/manual-core-adv.xml
Mark Wielaard 58b00c
index 2a022a0..00376a1 100644
Mark Wielaard 58b00c
--- a/docs/xml/manual-core-adv.xml
Mark Wielaard 58b00c
+++ b/docs/xml/manual-core-adv.xml
Mark Wielaard 58b00c
@@ -293,9 +293,9 @@ tool-specific macros).</para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
-
Mark Wielaard 58b00c
-
Mark Wielaard 58b00c
-       xreflabel="Debugging your program using Valgrind's gdbserver and GDB">
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-gdbserver-label;">
Mark Wielaard 58b00c
 <title>Debugging your program using Valgrind gdbserver and GDB</title>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 <para>A program running under Valgrind is not executed directly by the
Mark Wielaard 58b00c
@@ -381,7 +381,7 @@ and gives the results back to GDB.
Mark Wielaard 58b00c
 <para>GDB can use various kinds of channels (TCP/IP, serial line, etc)
Mark Wielaard 58b00c
 to communicate with the gdbserver.  In the case of Valgrind's
Mark Wielaard 58b00c
 gdbserver, communication is done via a pipe and a small helper program
Mark Wielaard 58b00c
-called <xref linkend="manual-core-adv.vgdb"/>, which acts as an
Mark Wielaard 58b00c
+called <xref linkend="&vg-vgdb-id;"/>, which acts as an
Mark Wielaard 58b00c
 intermediary.  If no GDB is in use, vgdb can also be
Mark Wielaard 58b00c
 used to send monitor commands to the Valgrind gdbserver from a shell
Mark Wielaard 58b00c
 command line.
Mark Wielaard 58b00c
@@ -1105,8 +1105,9 @@ $5 = 36
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 </sect2>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
-
Mark Wielaard 58b00c
-       xreflabel="vgdb">
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-vgdb-label;">
Mark Wielaard 58b00c
 <title>vgdb command line options</title>
Mark Wielaard 58b00c
 <para> Usage: <computeroutput>vgdb [OPTION]... [[-c] COMMAND]...</computeroutput></para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
@@ -1254,8 +1255,9 @@ vgdb v.set log_output -c leak_check any
Mark Wielaard 58b00c
 </sect2>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
-
Mark Wielaard 58b00c
-       xreflabel="Valgrind monitor commands">
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-monitor-label;">
Mark Wielaard 58b00c
 <title>Valgrind monitor commands</title>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 <para>This section describes the Valgrind monitor commands, available
Mark Wielaard 58b00c
diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml
Mark Wielaard 58b00c
index 70b0989..a60c3a4 100644
Mark Wielaard 58b00c
--- a/docs/xml/manual-core.xml
Mark Wielaard 58b00c
+++ b/docs/xml/manual-core.xml
Mark Wielaard 58b00c
@@ -152,7 +152,8 @@ likely.</para>
Mark Wielaard 58b00c
 </sect1>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
-<sect1 id="manual-core.comment" xreflabel="The Commentary">
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+<sect1 id="&vg-comment-id;" xreflabel="&vg-comment-label;">
Mark Wielaard 58b00c
 <title>The Commentary</title>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 <para>Valgrind tools write a commentary, a stream of text, detailing
Mark Wielaard 58b00c
@@ -857,7 +858,7 @@ in most cases.  We group the available options by rough categories.</para>
Mark Wielaard 58b00c
       be used in conjunction with the
Mark Wielaard 58b00c
       <computeroutput>valgrind-listener</computeroutput> program.  For
Mark Wielaard 58b00c
       further details, see 
Mark Wielaard 58b00c
-      <link linkend="manual-core.comment">the commentary</link>
Mark Wielaard 58b00c
+      <link linkend="&vg-comment-id;">the commentary</link>
Mark Wielaard 58b00c
       in the manual.</para>
Mark Wielaard 58b00c
     </listitem>
Mark Wielaard 58b00c
   </varlistentry>
Mark Wielaard 58b00c
@@ -1755,7 +1756,7 @@ need to use them.</para>
Mark Wielaard 58b00c
       between fairness and performance. For more details about the
Mark Wielaard 58b00c
       Valgrind thread serialisation scheme and its impact on
Mark Wielaard 58b00c
       performance and thread scheduling, see
Mark Wielaard 58b00c
-      <xref linkend="manual-core.pthreads_perf_sched"/>.
Mark Wielaard 58b00c
+      <xref linkend="&vg-pthreads-perf-sched-id;"/>.
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
       <itemizedlist>
Mark Wielaard 58b00c
         <listitem> <para>The value <option>--fair-sched=yes</option>
Mark Wielaard 58b00c
@@ -2084,7 +2085,8 @@ everything is shared (a thread) or nothing is shared (fork-like); partial
Mark Wielaard 58b00c
 sharing will fail.
Mark Wielaard 58b00c
 </para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
-<sect2 id="manual-core.pthreads_perf_sched" xreflabel="Scheduling and Multi-Thread Performance">
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+<sect2 id="&vg-pthreads-perf-sched-id;" xreflabel="&vg-pthreads-perf-sched-label;">
Mark Wielaard 58b00c
 <title>Scheduling and Multi-Thread Performance</title>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 <para>A thread executes code only when it holds the abovementioned
Mark Wielaard 58b00c
diff --git a/docs/xml/valgrind-manpage.xml b/docs/xml/valgrind-manpage.xml
Mark Wielaard 58b00c
index 8f2f630..bd4b924 100644
Mark Wielaard 58b00c
--- a/docs/xml/valgrind-manpage.xml
Mark Wielaard 58b00c
+++ b/docs/xml/valgrind-manpage.xml
Mark Wielaard 58b00c
@@ -240,7 +240,22 @@ callgrind_annotate(1),
Mark Wielaard 58b00c
 callgrind_control(1),
Mark Wielaard 58b00c
 ms_print(1),
Mark Wielaard 58b00c
 <filename>&vg-docs-path;</filename> or
Mark Wielaard 58b00c
-<filename>&vg-docs-url;</filename>.
Mark Wielaard 58b00c
+<filename>&vg-docs-url;</filename>,
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-gdbserver-label;"
Mark Wielaard 58b00c
+       url="&vg-gdbserver-url;">&vg-gdbserver-label;</ulink>
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-vgdb-label;"
Mark Wielaard 58b00c
+       url="&vg-vgdb-url;">&vg-vgdb-label;</ulink>,
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-monitor-label;"
Mark Wielaard 58b00c
+       url="&vg-monitor-url;">&vg-monitor-label;</ulink>,
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-comment-label;"
Mark Wielaard 58b00c
+       url="&vg-comment-url;">&vg-comment-label;</ulink>,
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-pthreads-perf-sched-label;"
Mark Wielaard 58b00c
+       url="&vg-pthreads-perf-sched-url;">&vg-pthreads-perf-sched-label;</ulink>.
Mark Wielaard 58b00c
 </para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 </refsect1>
Mark Wielaard 58b00c
diff --git a/docs/xml/vg-entities.xml b/docs/xml/vg-entities.xml
Mark Wielaard 58b00c
index e65ed3e..f5994c1 100644
Mark Wielaard 58b00c
--- a/docs/xml/vg-entities.xml
Mark Wielaard 58b00c
+++ b/docs/xml/vg-entities.xml
Mark Wielaard 58b00c
@@ -23,4 +23,38 @@
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
Mark Wielaard 58b00c
commit 90285ba7ed34f3fdef235d2976399bcd360d4515
Mark Wielaard 58b00c
Author: philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9>
Mark Wielaard 58b00c
Date:   Sun Mar 10 16:20:10 2013 +0000
Mark Wielaard 58b00c
Mark Wielaard 58b00c
    fix 315959 valgrind man page has bogus SGCHECK (and no BBV) OPTIONS section
Mark Wielaard 58b00c
    PAtch from Mark Wielaard.
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13323 a5019735-40e9-0310-863c-91ae7b9d1cf9
Mark Wielaard 58b00c
Mark Wielaard 58b00c
diff --git a/exp-sgcheck/docs/sg-manual.xml b/exp-sgcheck/docs/sg-manual.xml
Mark Wielaard 58b00c
index 8632199..8b717e8 100644
Mark Wielaard 58b00c
--- a/exp-sgcheck/docs/sg-manual.xml
Mark Wielaard 58b00c
+++ b/exp-sgcheck/docs/sg-manual.xml
Mark Wielaard 58b00c
@@ -31,7 +31,7 @@ observation about the likely forms of stack and global array accesses.
Mark Wielaard 58b00c
 <sect1 id="sg-manual.options" xreflabel="SGCheck Command-line Options">
Mark Wielaard 58b00c
 <title>SGCheck Command-line Options</title>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
-<para>There are no SGCheck-specific command-line options at present.</para>
Mark Wielaard 58b00c
+<para id="sg.opts.list">There are no SGCheck-specific command-line options at present.</para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 <para>SGCheck-specific command-line options are:</para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
Mark Wielaard 58b00c
commit e6bce130ae5da444da196cac75102554e80e9ce0
Mark Wielaard 58b00c
Author: philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9>
Mark Wielaard 58b00c
Date:   Sun Mar 10 16:29:02 2013 +0000
Mark Wielaard 58b00c
Mark Wielaard 58b00c
    Fix 316145 - callgrind command line options in manpage reference (unknown) callgrind manual
Mark Wielaard 58b00c
    Patch by Mark Wielaard.
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    
Mark Wielaard 58b00c
    git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13324 a5019735-40e9-0310-863c-91ae7b9d1cf9
Mark Wielaard 58b00c
Mark Wielaard 58b00c
diff --git a/cachegrind/docs/cg-manual.xml b/cachegrind/docs/cg-manual.xml
Mark Wielaard 58b00c
index fb6f978..13331d8 100644
Mark Wielaard 58b00c
--- a/cachegrind/docs/cg-manual.xml
Mark Wielaard 58b00c
+++ b/cachegrind/docs/cg-manual.xml
Mark Wielaard 58b00c
@@ -3,8 +3,8 @@
Mark Wielaard 58b00c
   "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd"
Mark Wielaard 58b00c
 [  %vg-entities; ]>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
-
Mark Wielaard 58b00c
-<chapter id="cg-manual" xreflabel="Cachegrind: a cache and branch-prediction profiler">
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+<chapter id="&vg-cg-manual-id;" xreflabel="&vg-cg-manual-label;">
Mark Wielaard 58b00c
 <title>Cachegrind: a cache and branch-prediction profiler</title>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 <para>To use this tool, you must specify
Mark Wielaard 58b00c
diff --git a/callgrind/docs/cl-manual.xml b/callgrind/docs/cl-manual.xml
Mark Wielaard 58b00c
index ab8d9bb..2f08ac8 100644
Mark Wielaard 58b00c
--- a/callgrind/docs/cl-manual.xml
Mark Wielaard 58b00c
+++ b/callgrind/docs/cl-manual.xml
Mark Wielaard 58b00c
@@ -88,7 +88,7 @@ optimization opportunities depend on changing code in the callers, in
Mark Wielaard 58b00c
 particular by reducing the call count.</para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 <para>Callgrind's cache simulation is based on that of Cachegrind.
Mark Wielaard 58b00c
-Read the documentation for <xref linkend="cg-manual"/> first.  The material
Mark Wielaard 58b00c
+Read the documentation for <xref linkend="&vg-cg-manual-id;"/> first.  The material
Mark Wielaard 58b00c
 below describes the features supported in addition to Cachegrind's
Mark Wielaard 58b00c
 features.</para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
@@ -936,7 +936,7 @@ Also see <xref linkend="cl-manual.cycles"/>.</para>
Mark Wielaard 58b00c
       Cache misses on instruction reads ("I1mr"/"ILmr"),
Mark Wielaard 58b00c
       data read accesses ("Dr") and related cache misses ("D1mr"/"DLmr"),
Mark Wielaard 58b00c
       data write accesses ("Dw") and related cache misses ("D1mw"/"DLmw").
Mark Wielaard 58b00c
-      For more information, see <xref linkend="cg-manual"/>.
Mark Wielaard 58b00c
+      For more information, see <xref linkend="&vg-cg-manual-id;"/>.
Mark Wielaard 58b00c
       </para>
Mark Wielaard 58b00c
     </listitem>
Mark Wielaard 58b00c
   </varlistentry>
Mark Wielaard 58b00c
diff --git a/docs/xml/valgrind-manpage.xml b/docs/xml/valgrind-manpage.xml
Mark Wielaard 58b00c
index bd4b924..a4b84ff 100644
Mark Wielaard 58b00c
--- a/docs/xml/valgrind-manpage.xml
Mark Wielaard 58b00c
+++ b/docs/xml/valgrind-manpage.xml
Mark Wielaard 58b00c
@@ -255,7 +255,10 @@ ms_print(1),
Mark Wielaard 58b00c
        url="&vg-comment-url;">&vg-comment-label;</ulink>,
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
        xreflabel="&vg-pthreads-perf-sched-label;"
Mark Wielaard 58b00c
-       url="&vg-pthreads-perf-sched-url;">&vg-pthreads-perf-sched-label;</ulink>.
Mark Wielaard 58b00c
+       url="&vg-pthreads-perf-sched-url;">&vg-pthreads-perf-sched-label;</ulink>,
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+       xreflabel="&vg-cg-manual-label;"
Mark Wielaard 58b00c
+       url="&vg-cg-manual-url;">&vg-cg-manual-label;</ulink>.
Mark Wielaard 58b00c
 </para>
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 </refsect1>
Mark Wielaard 58b00c
diff --git a/docs/xml/vg-entities.xml b/docs/xml/vg-entities.xml
Mark Wielaard 58b00c
index f5994c1..29a337f 100644
Mark Wielaard 58b00c
--- a/docs/xml/vg-entities.xml
Mark Wielaard 58b00c
+++ b/docs/xml/vg-entities.xml
Mark Wielaard 58b00c
@@ -58,3 +58,7 @@
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
 
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
+
Mark Wielaard 58b00c
diff -ur valgrind-3.8.1.orig/docs/callgrind_annotate.1 valgrind-3.8.1/docs/callgrind_annotate.1
Mark Wielaard 58b00c
--- valgrind-3.8.1.orig/docs/callgrind_annotate.1	2013-03-12 14:42:11.627471322 +0100
Mark Wielaard 58b00c
+++ valgrind-3.8.1/docs/callgrind_annotate.1	2013-03-12 14:42:28.762370486 +0100
Mark Wielaard 58b00c
@@ -1,13 +1,13 @@
Mark Wielaard 58b00c
 '\" t
Mark Wielaard 58b00c
 .\"     Title: Callgrind Annotate
Mark Wielaard 58b00c
 .\"    Author: [see the "Author" section]
Mark Wielaard 58b00c
-.\" Generator: DocBook XSL Stylesheets v1.75.2 <http://docbook.sf.net/>
Mark Wielaard 58b00c
-.\"      Date: 09/18/2012
Mark Wielaard 58b00c
+.\" Generator: DocBook XSL Stylesheets v1.77.1 <http://docbook.sf.net/>
Mark Wielaard 58b00c
+.\"      Date: 03/12/2013
Mark Wielaard 58b00c
 .\"    Manual: Release 3.8.0
Mark Wielaard 58b00c
 .\"    Source: Release 3.8.0
Mark Wielaard 58b00c
 .\"  Language: English
Mark Wielaard 58b00c
 .\"
Mark Wielaard 58b00c
-.TH "CALLGRIND ANNOTATE" "1" "09/18/2012" "Release 3.8.0" "Release 3.8.0"
Mark Wielaard 58b00c
+.TH "CALLGRIND ANNOTATE" "1" "03/12/2013" "Release 3.8.1" "Release 3.8.1"
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
 .\" * Define some portability stuff
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
diff -ur valgrind-3.8.1.orig/docs/callgrind_control.1 valgrind-3.8.1/docs/callgrind_control.1
Mark Wielaard 58b00c
--- valgrind-3.8.1.orig/docs/callgrind_control.1	2013-03-12 14:42:11.630471305 +0100
Mark Wielaard 58b00c
+++ valgrind-3.8.1/docs/callgrind_control.1	2013-03-12 14:42:28.778370392 +0100
Mark Wielaard 58b00c
@@ -1,13 +1,13 @@
Mark Wielaard 58b00c
 '\" t
Mark Wielaard 58b00c
 .\"     Title: Callgrind Control
Mark Wielaard 58b00c
 .\"    Author: [see the "Author" section]
Mark Wielaard 58b00c
-.\" Generator: DocBook XSL Stylesheets v1.75.2 <http://docbook.sf.net/>
Mark Wielaard 58b00c
-.\"      Date: 09/18/2012
Mark Wielaard 58b00c
+.\" Generator: DocBook XSL Stylesheets v1.77.1 <http://docbook.sf.net/>
Mark Wielaard 58b00c
+.\"      Date: 03/12/2013
Mark Wielaard 58b00c
 .\"    Manual: Release 3.8.0
Mark Wielaard 58b00c
 .\"    Source: Release 3.8.0
Mark Wielaard 58b00c
 .\"  Language: English
Mark Wielaard 58b00c
 .\"
Mark Wielaard 58b00c
-.TH "CALLGRIND CONTROL" "1" "09/18/2012" "Release 3.8.0" "Release 3.8.0"
Mark Wielaard 58b00c
+.TH "CALLGRIND CONTROL" "1" "03/12/2013" "Release 3.8.1" "Release 3.8.1"
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
 .\" * Define some portability stuff
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
diff -ur valgrind-3.8.1.orig/docs/cg_annotate.1 valgrind-3.8.1/docs/cg_annotate.1
Mark Wielaard 58b00c
--- valgrind-3.8.1.orig/docs/cg_annotate.1	2013-03-12 14:42:11.627471322 +0100
Mark Wielaard 58b00c
+++ valgrind-3.8.1/docs/cg_annotate.1	2013-03-12 14:42:28.745370586 +0100
Mark Wielaard 58b00c
@@ -1,13 +1,13 @@
Mark Wielaard 58b00c
 '\" t
Mark Wielaard 58b00c
 .\"     Title: cg_annotate
Mark Wielaard 58b00c
 .\"    Author: [see the "Author" section]
Mark Wielaard 58b00c
-.\" Generator: DocBook XSL Stylesheets v1.75.2 <http://docbook.sf.net/>
Mark Wielaard 58b00c
-.\"      Date: 09/18/2012
Mark Wielaard 58b00c
+.\" Generator: DocBook XSL Stylesheets v1.77.1 <http://docbook.sf.net/>
Mark Wielaard 58b00c
+.\"      Date: 03/12/2013
Mark Wielaard 58b00c
 .\"    Manual: Release 3.8.0
Mark Wielaard 58b00c
 .\"    Source: Release 3.8.0
Mark Wielaard 58b00c
 .\"  Language: English
Mark Wielaard 58b00c
 .\"
Mark Wielaard 58b00c
-.TH "CG_ANNOTATE" "1" "09/18/2012" "Release 3.8.0" "Release 3.8.0"
Mark Wielaard 58b00c
+.TH "CG_ANNOTATE" "1" "03/12/2013" "Release 3.8.1" "Release 3.8.1"
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
 .\" * Define some portability stuff
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
diff -ur valgrind-3.8.1.orig/docs/ms_print.1 valgrind-3.8.1/docs/ms_print.1
Mark Wielaard 58b00c
--- valgrind-3.8.1.orig/docs/ms_print.1	2013-03-12 14:42:11.627471322 +0100
Mark Wielaard 58b00c
+++ valgrind-3.8.1/docs/ms_print.1	2013-03-12 14:42:28.793370304 +0100
Mark Wielaard 58b00c
@@ -1,13 +1,13 @@
Mark Wielaard 58b00c
 '\" t
Mark Wielaard 58b00c
 .\"     Title: ms_print
Mark Wielaard 58b00c
 .\"    Author: [see the "Author" section]
Mark Wielaard 58b00c
-.\" Generator: DocBook XSL Stylesheets v1.75.2 <http://docbook.sf.net/>
Mark Wielaard 58b00c
-.\"      Date: 09/18/2012
Mark Wielaard 58b00c
+.\" Generator: DocBook XSL Stylesheets v1.77.1 <http://docbook.sf.net/>
Mark Wielaard 58b00c
+.\"      Date: 03/12/2013
Mark Wielaard 58b00c
 .\"    Manual: Release 3.8.0
Mark Wielaard 58b00c
 .\"    Source: Release 3.8.0
Mark Wielaard 58b00c
 .\"  Language: English
Mark Wielaard 58b00c
 .\"
Mark Wielaard 58b00c
-.TH "MS_PRINT" "1" "09/18/2012" "Release 3.8.0" "Release 3.8.0"
Mark Wielaard 58b00c
+.TH "MS_PRINT" "1" "03/12/2013" "Release 3.8.1" "Release 3.8.1"
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
 .\" * Define some portability stuff
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
diff -ur valgrind-3.8.1.orig/docs/valgrind.1 valgrind-3.8.1/docs/valgrind.1
Mark Wielaard 58b00c
--- valgrind-3.8.1.orig/docs/valgrind.1	2013-03-12 14:42:11.626471328 +0100
Mark Wielaard 58b00c
+++ valgrind-3.8.1/docs/valgrind.1	2013-03-12 14:42:28.728370686 +0100
Mark Wielaard 58b00c
@@ -1,13 +1,13 @@
Mark Wielaard 58b00c
 '\" t
Mark Wielaard 58b00c
 .\"     Title: VALGRIND
Mark Wielaard 58b00c
 .\"    Author: [see the "Author" section]
Mark Wielaard 58b00c
-.\" Generator: DocBook XSL Stylesheets v1.75.2 <http://docbook.sf.net/>
Mark Wielaard 58b00c
-.\"      Date: 09/18/2012
Mark Wielaard 58b00c
+.\" Generator: DocBook XSL Stylesheets v1.77.1 <http://docbook.sf.net/>
Mark Wielaard 58b00c
+.\"      Date: 03/12/2013
Mark Wielaard 58b00c
 .\"    Manual: Release 3.8.0
Mark Wielaard 58b00c
 .\"    Source: Release 3.8.0
Mark Wielaard 58b00c
 .\"  Language: English
Mark Wielaard 58b00c
 .\"
Mark Wielaard 58b00c
-.TH "VALGRIND" "1" "09/18/2012" "Release 3.8.0" "Release 3.8.0"
Mark Wielaard 58b00c
+.TH "VALGRIND" "1" "03/12/2013" "Release 3.8.1" "Release 3.8.1"
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
 .\" * Define some portability stuff
Mark Wielaard 58b00c
 .\" -----------------------------------------------------------------
Mark Wielaard 58b00c
@@ -134,13 +134,13 @@
Mark Wielaard 58b00c
 is specified\&. This allows an external GNU GDB debugger to control and debug your program when it runs on Valgrind\&.
Mark Wielaard 58b00c
 \fB\-\-vgdb=full\fR
Mark Wielaard 58b00c
 incurs significant performance overheads, but provides more precise breakpoints and watchpoints\&. See
Mark Wielaard 58b00c
-???
Mark Wielaard 58b00c
+Debugging your program using Valgrind's gdbserver and GDB
Mark Wielaard 58b00c
 for a detailed description\&.
Mark Wielaard 58b00c
 .sp
Mark Wielaard 58b00c
 If the embedded gdbserver is enabled but no gdb is currently being used, the
Mark Wielaard 58b00c
-???
Mark Wielaard 58b00c
+vgdb
Mark Wielaard 58b00c
 command line utility can send "monitor commands" to Valgrind from a shell\&. The Valgrind core provides a set of
Mark Wielaard 58b00c
-???\&. A tool can optionally provide tool specific monitor commands, which are documented in the tool specific chapter\&.
Mark Wielaard 58b00c
+Valgrind monitor commands\&. A tool can optionally provide tool specific monitor commands, which are documented in the tool specific chapter\&.
Mark Wielaard 58b00c
 .RE
Mark Wielaard 58b00c
 .PP
Mark Wielaard 58b00c
 \fB\-\-vgdb\-error=<number> [default: 999999999] \fR
Mark Wielaard 58b00c
@@ -300,6 +300,15 @@
Mark Wielaard 58b00c
 Specifies an alternative exit code to return if Valgrind reported any errors in the run\&. When set to the default value (zero), the return value from Valgrind will always be the return value of the process being simulated\&. When set to a nonzero value, that value is returned instead, if Valgrind detects any errors\&. This is useful for using Valgrind as part of an automated test suite, since it makes it easy to detect test cases for which Valgrind has reported errors, just by inspecting return codes\&.
Mark Wielaard 58b00c
 .RE
Mark Wielaard 58b00c
 .PP
Mark Wielaard 58b00c
+\fB\-\-sigill\-diagnostics=<yes|no> [default: yes] \fR
Mark Wielaard 58b00c
+.RS 4
Mark Wielaard 58b00c
+Enable/disable printing of illegal instruction diagnostics\&. Enabled by default, but defaults to disabled when
Mark Wielaard 58b00c
+\fB\-\-quiet\fR
Mark Wielaard 58b00c
+is given\&. The default can always be explicitly overridden by giving this option\&.
Mark Wielaard 58b00c
+.sp
Mark Wielaard 58b00c
+When enabled a warning message will be printed with some diagnostics whenever some instruction is encountered that valgrind cannot decode or translate before the program is given a SIGILL signal\&. Often an illegal instruction indicates a bug in the program or missing support for the particular instruction in Valgrind\&. But some programs do deliberately try to execute an instruction that might be missing and trap the SIGILL signal to detect processor features\&.
Mark Wielaard 58b00c
+.RE
Mark Wielaard 58b00c
+.PP
Mark Wielaard 58b00c
 \fB\-\-show\-below\-main=<yes|no> [default: no] \fR
Mark Wielaard 58b00c
 .RS 4
Mark Wielaard 58b00c
 By default, stack traces for errors do not show any functions that appear beneath
Mark Wielaard 58b00c
@@ -755,7 +764,7 @@
Mark Wielaard 58b00c
 The
Mark Wielaard 58b00c
 \fB\-\-fair\-sched\fR
Mark Wielaard 58b00c
 option controls the locking mechanism used by Valgrind to serialise thread execution\&. The locking mechanism controls the way the threads are scheduled, and different settings give different trade\-offs between fairness and performance\&. For more details about the Valgrind thread serialisation scheme and its impact on performance and thread scheduling, see
Mark Wielaard 58b00c
-???\&.
Mark Wielaard 58b00c
+Scheduling and Multi-Thread Performance\&.
Mark Wielaard 58b00c
 .sp
Mark Wielaard 58b00c
 .RS 4
Mark Wielaard 58b00c
 .ie n \{\
Mark Wielaard 58b00c
@@ -1242,7 +1251,7 @@
Mark Wielaard 58b00c
 \fB\-\-cache\-sim=<yes|no> [default: no] \fR
Mark Wielaard 58b00c
 .RS 4
Mark Wielaard 58b00c
 Specify if you want to do full cache simulation\&. By default, only instruction read accesses will be counted ("Ir")\&. With cache simulation, further event counters are enabled: Cache misses on instruction reads ("I1mr"/"ILmr"), data read accesses ("Dr") and related cache misses ("D1mr"/"DLmr"), data write accesses ("Dw") and related cache misses ("D1mw"/"DLmw")\&. For more information, see
Mark Wielaard 58b00c
-???\&.
Mark Wielaard 58b00c
+Cachegrind: a cache and branch-prediction profiler\&.
Mark Wielaard 58b00c
 .RE
Mark Wielaard 58b00c
 .PP
Mark Wielaard 58b00c
 \fB\-\-branch\-sim=<yes|no> [default: no] \fR
Mark Wielaard 58b00c
@@ -1568,7 +1577,9 @@
Mark Wielaard 58b00c
 \fB--log-file\fR\&.
Mark Wielaard 58b00c
 .RE
Mark Wielaard 58b00c
 .SH "SGCHECK OPTIONS"
Mark Wielaard 58b00c
-<xi:include></xi:include>.SH "BBV OPTIONS"
Mark Wielaard 58b00c
+.PP
Mark Wielaard 58b00c
+There are no SGCheck\-specific command\-line options at present\&.
Mark Wielaard 58b00c
+.SH "BBV OPTIONS"
Mark Wielaard 58b00c
 .PP
Mark Wielaard 58b00c
 \fB\-\-bb\-out\-file=<name> [default: bb\&.out\&.%p] \fR
Mark Wielaard 58b00c
 .RS 4
Mark Wielaard 58b00c
@@ -1705,9 +1716,46 @@
Mark Wielaard 58b00c
 cg_annotate(1), callgrind_annotate(1), callgrind_control(1), ms_print(1),
Mark Wielaard 58b00c
 $INSTALL/share/doc/valgrind/html/index\&.html
Mark Wielaard 58b00c
 or
Mark Wielaard 58b00c
-http://www\&.valgrind\&.org/docs/manual/index\&.html\&.
Mark Wielaard 58b00c
+http://www\&.valgrind\&.org/docs/manual/index\&.html,
Mark Wielaard 58b00c
+\m[blue]\fBDebugging your program using Valgrind\*(Aqs gdbserver and GDB\fR\m[]\&\s-2\u[1]\d\s+2
Mark Wielaard 58b00c
+\m[blue]\fBvgdb\fR\m[]\&\s-2\u[2]\d\s+2,
Mark Wielaard 58b00c
+\m[blue]\fBValgrind monitor commands\fR\m[]\&\s-2\u[3]\d\s+2,
Mark Wielaard 58b00c
+\m[blue]\fBThe Commentary\fR\m[]\&\s-2\u[4]\d\s+2,
Mark Wielaard 58b00c
+\m[blue]\fBScheduling and Multi\-Thread Performance\fR\m[]\&\s-2\u[5]\d\s+2,
Mark Wielaard 58b00c
+\m[blue]\fBCachegrind: a cache and branch\-prediction profiler\fR\m[]\&\s-2\u[6]\d\s+2\&.
Mark Wielaard 58b00c
 .SH "AUTHOR"
Mark Wielaard 58b00c
 .PP
Mark Wielaard 58b00c
 The Valgrind developers\&.
Mark Wielaard 58b00c
 .PP
Mark Wielaard 58b00c
 This manpage was written by Andres Roldan <aroldan@debian\&.org> and the Valgrind developers\&.
Mark Wielaard 58b00c
+.SH "NOTES"
Mark Wielaard 58b00c
+.IP " 1." 4
Mark Wielaard 58b00c
+Debugging your program using Valgrind's gdbserver and GDB
Mark Wielaard 58b00c
+.RS 4
Mark Wielaard 58b00c
+\%http://www.valgrind.org/docs/manual/manual-core-adv.html#manual-core-adv.gdbserver
Mark Wielaard 58b00c
+.RE
Mark Wielaard 58b00c
+.IP " 2." 4
Mark Wielaard 58b00c
+vgdb
Mark Wielaard 58b00c
+.RS 4
Mark Wielaard 58b00c
+\%http://www.valgrind.org/docs/manual/manual-core-adv.html#manual-core-adv.vgdb
Mark Wielaard 58b00c
+.RE
Mark Wielaard 58b00c
+.IP " 3." 4
Mark Wielaard 58b00c
+Valgrind monitor commands
Mark Wielaard 58b00c
+.RS 4
Mark Wielaard 58b00c
+\%http://www.valgrind.org/docs/manual/manual-core-adv.html#manual-core-adv.valgrind-monitor-commands
Mark Wielaard 58b00c
+.RE
Mark Wielaard 58b00c
+.IP " 4." 4
Mark Wielaard 58b00c
+The Commentary
Mark Wielaard 58b00c
+.RS 4
Mark Wielaard 58b00c
+\%http://www.valgrind.org/docs/manual/manual-core.html#manual-core.comment
Mark Wielaard 58b00c
+.RE
Mark Wielaard 58b00c
+.IP " 5." 4
Mark Wielaard 58b00c
+Scheduling and Multi-Thread Performance
Mark Wielaard 58b00c
+.RS 4
Mark Wielaard 58b00c
+\%http://www.valgrind.org/docs/manual/manual-core.html#manual-core.pthreads_perf_sched
Mark Wielaard 58b00c
+.RE
Mark Wielaard 58b00c
+.IP " 6." 4
Mark Wielaard 58b00c
+Cachegrind: a cache and branch-prediction profiler
Mark Wielaard 58b00c
+.RS 4
Mark Wielaard 58b00c
+\%http://www.valgrind.org/docs/manual/cg-manual.html
Mark Wielaard 58b00c
+.RE