chiark
/
gitweb
/
~ianmdlvl
/
elogind.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1d14abe
)
Docs: udev.xml: Clean up description of LABEL assignment key
author
Michael Witten
<mfwitten@gmail.com>
Fri, 8 Apr 2011 23:32:52 +0000
(23:32 +0000)
committer
Michael 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
patch
|
blob
|
history
diff --git
a/udev/udev.xml
b/udev/udev.xml
index f2e629a823bab84fab33951214bfd58d469628f6..517d650ad86759e2c475be5a6487e53861b0d755 100644
(file)
--- 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>