chiark / gitweb /
Docs: udev.xml: Clean up description of LABEL assignment key
authorMichael Witten <mfwitten@gmail.com>
Fri, 8 Apr 2011 23:32:52 +0000 (23:32 +0000)
committerMichael Witten <mfwitten@gmail.com>
Mon, 11 Apr 2011 05:49:38 +0000 (05:49 +0000)
Signed-off-by: Michael Witten <mfwitten@gmail.com>
udev/udev.xml

index f2e629a823bab84fab33951214bfd58d469628f6..517d650ad86759e2c475be5a6487e53861b0d755 100644 (file)
         <varlistentry>
           <term><option>LABEL</option></term>
           <listitem>
-            <para>Named label where a GOTO can jump to.</para>
+            <para>A named label to which a GOTO may jump.</para>
           </listitem>
         </varlistentry>