summaryrefslogtreecommitdiff
path: root/udev/udev.xml
diff options
context:
space:
mode:
authorKay Sievers <kay.sievers@vrfy.org>2010-04-13 12:45:38 +0200
committerKay Sievers <kay.sievers@vrfy.org>2010-04-13 12:45:38 +0200
commita89d342dfb45b54e29381af9dbc495bbb2b057af (patch)
tree2ad834ff82007c3ebcbb6b884a45a2ce26a93ac1 /udev/udev.xml
parent06ba47d8336c6d017a67d11f480341db07b9bc4b (diff)
remove "ignore_remove" option
Diffstat (limited to 'udev/udev.xml')
-rw-r--r--udev/udev.xml7
1 files changed, 0 insertions, 7 deletions
diff --git a/udev/udev.xml b/udev/udev.xml
index 9275e0f79f..dce953dbce 100644
--- a/udev/udev.xml
+++ b/udev/udev.xml
@@ -436,13 +436,6 @@
<para>Rule and device options:</para>
<variablelist>
<varlistentry>
- <term><option>ignore_remove</option></term>
- <listitem>
- <para>Do not remove the device node when the device goes away. This may be
- useful as a workaround for broken device drivers.</para>
- </listitem>
- </varlistentry>
- <varlistentry>
<term><option>link_priority=<replaceable>value</replaceable></option></term>
<listitem>
<para>Specify the priority of the created symlinks. Devices with higher