De-document now-defunct command line options.

MERGED FROM CVS HEAD

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

diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml
index e1f7b03be0472d5b63206b04669c05f3e655f736..f072e4c61315fb0436181dcf3529992909b91808 100644 (file)
--- a/docs/xml/manual-core.xml
+++ b/docs/xml/manual-core.xml
@@ -965,28 +965,6 @@ Addrcheck), the following options apply.</para>
     </itemizedlist>
    </listitem>
 
-   <listitem>
-    <para><computeroutput>--signal-polltime=&lt;time&gt;</computeroutput>
-    [default=50]</para>
-    <para>How often to poll for signals (in milliseconds).  Only
-    applies for older kernels that need signal routing.</para>
-   </listitem>
-
-   <listitem>
-    <para><computeroutput>--lowlat-signals=no</computeroutput>
-     [default]</para>
-    <para><computeroutput>--lowlat-signals=yes</computeroutput></para>
-    <para>Improve wake-up latency when a thread receives a signal.</para>
-   </listitem>
-
-   <listitem>
-    <para><computeroutput>--lowlat-syscalls=no</computeroutput>
-    [default]</para>
-    <para><computeroutput>--lowlat-syscalls=yes</computeroutput></para>
-    <para>Improve wake-up latency when a thread's syscall
-    completes.</para>
-   </listitem>
-
   </itemizedlist>
 </sect2>