From 1512511f11fb60eaa80d3caede3fb5f0bf0f72ed Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Sun, 26 Jul 2009 15:58:25 +0000
Subject: [PATCH] Updated manual because of the new client request
 DRD_STOP_IGNORING_VAR().

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10617
---
 drd/docs/drd-manual.xml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/drd/docs/drd-manual.xml b/drd/docs/drd-manual.xml
index 6966439b80..8de5556c15 100644
--- a/drd/docs/drd-manual.xml
+++ b/drd/docs/drd-manual.xml
@@ -892,11 +892,12 @@ available macro's and client requests are:
   </listitem>
   <listitem>
     <para>
-      The client
-      request <varname>VG_USERREQ__DRD_FINISH_SUPPRESSION</varname>. Tell DRD
+      The macro <literal>DRD_STOP_IGNORING_VAR(x)</literal> and the
+      corresponding client request
+      <varname>VG_USERREQ__DRD_FINISH_SUPPRESSION</varname>. Tell DRD
       to no longer ignore data races for the address range that was suppressed
-      via the client request
-      <varname>VG_USERREQ__DRD_START_SUPPRESSION</varname>.
+      either via the macro <literal>DRD_IGNORE_VAR(x)</literal> or via the
+      client request <varname>VG_USERREQ__DRD_START_SUPPRESSION</varname>.
     </para>
   </listitem>
   <listitem>
-- 
2.47.3