diff options
| author | Jan Engelhardt <jengelh@inai.de> | 2014-06-28 00:48:28 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-06-28 00:06:30 -0400 |
| commit | 8d0e0ddda6501479eb69164687c83c1a7667b33a (patch) | |
| tree | 167d9b1618cd3bbd2cf8d4ba700205408af27ccb /man/os-release.xml | |
| parent | 0fdeb6e011dfdb17636c81e2d7e0d632186359ce (diff) | |
doc: grammatical corrections
Diffstat (limited to 'man/os-release.xml')
| -rw-r--r-- | man/os-release.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/os-release.xml b/man/os-release.xml index 11443638e..4e02f800b 100644 --- a/man/os-release.xml +++ b/man/os-release.xml @@ -90,7 +90,7 @@ files at the same time. <filename>/usr/lib/os-release</filename> is the recommended place to store OS release information as - part of vendor trees. Frequently + part of vendor trees. Frequently, <filename>/etc/os-release</filename> is simply a symlink to <filename>/usr/lib/os-release</filename>, to provide compatibility with applications only |