Docs: udev.xml: Clean up description of ENV assignment key

Signed-off-by: Michael Witten <mfwitten@gmail.com>

diff --git a/udev/udev.xml b/udev/udev.xml
index dc277c891884c66669c4d90d66af5038667e5db0..b10096544be52893e2bcd90d165726eb922bc9fc 100644 (file)
--- a/udev/udev.xml
+++ b/udev/udev.xml
@@ -359,7 +359,8 @@
           <term><option>ENV{<replaceable>key</replaceable>}</option></term>
           <listitem>
             <para>Set a device property value. Property names with a leading '.'
-            are not stored in the database or exported to external tool or events.</para>
+            are neither stored in the database nor exported to events or
+            external tools (run by, say, the PROGRAM match key).</para>
           </listitem>
         </varlistentry>