From e2c5384124badf080efc8b6453397290b00a4d65 Mon Sep 17 00:00:00 2001
From: Nicholas Nethercote <njn@valgrind.org>
Date: Fri, 11 Mar 2005 04:35:00 +0000
Subject: [PATCH] De-document now-defunct command line options.

MERGED FROM CVS HEAD


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3271
---
 docs/xml/manual-core.xml | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml
index e1f7b03be..f072e4c61 100644
--- 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>