summaryrefslogtreecommitdiff
path: root/udev/udev.xml
diff options
context:
space:
mode:
authorMichael Witten <mfwitten@gmail.com>2011-04-08 23:32:52 +0000
committerMichael Witten <mfwitten@gmail.com>2011-04-11 05:49:38 +0000
commitc24dfc80c6dded0184ecc3d9479c970b5a70e4e4 (patch)
tree5844e28a1d1a5d47837e5b788b26463edc6d038c /udev/udev.xml
parent1d14abe61ff7f22f861fb2bbe06f0fdd64ac4c03 (diff)
Docs: udev.xml: Clean up description of LABEL assignment key
Signed-off-by: Michael Witten <mfwitten@gmail.com>
Diffstat (limited to 'udev/udev.xml')
-rw-r--r--udev/udev.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/udev/udev.xml b/udev/udev.xml
index f2e629a823..517d650ad8 100644
--- a/udev/udev.xml
+++ b/udev/udev.xml
@@ -397,7 +397,7 @@
<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>