Updated manual because of the new client request DRD_STOP_IGNORING_VAR().

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10617

diff --git a/drd/docs/drd-manual.xml b/drd/docs/drd-manual.xml
index 6966439b802a1bc25dbd01a69cef2c29c56ce014..8de5556c15063842ad3283e606538f4ee0bcd571 100644 (file)
--- 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>