diff options
| author | Michael Witten <mfwitten@gmail.com> | 2011-04-08 23:32:52 +0000 |
|---|---|---|
| committer | Michael Witten <mfwitten@gmail.com> | 2011-04-11 05:49:38 +0000 |
| commit | c24dfc80c6dded0184ecc3d9479c970b5a70e4e4 (patch) | |
| tree | 5844e28a1d1a5d47837e5b788b26463edc6d038c | |
| parent | 1d14abe61ff7f22f861fb2bbe06f0fdd64ac4c03 (diff) | |
Docs: udev.xml: Clean up description of LABEL assignment key
Signed-off-by: Michael Witten <mfwitten@gmail.com>
| -rw-r--r-- | udev/udev.xml | 2 |
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> |