diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-05-03 00:55:20 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-05-03 01:00:42 -0400 |
| commit | 845c53246f73a505f12bb7f685a530045fa60a40 (patch) | |
| tree | fe6524ea0546e971b5ad509a3557efb4e4ac8c69 /man/systemd-remount-fs.service.xml | |
| parent | 202288be83b56a724c316ce0ad2fcb41bd63f0eb (diff) | |
man: add various filenames to the index
Everything which is an absolute filename marked with <filename></filename>
lands in the index, unless noindex= attribute is present. Should make
it easier for people to find stuff when they are looking at a file on
disk.
Various formatting errors in manpages are fixed, kernel-install(1) is
restored to formatting sanity.
Diffstat (limited to 'man/systemd-remount-fs.service.xml')
| -rw-r--r-- | man/systemd-remount-fs.service.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/systemd-remount-fs.service.xml b/man/systemd-remount-fs.service.xml index 9fe953e8c6..cf04713a00 100644 --- a/man/systemd-remount-fs.service.xml +++ b/man/systemd-remount-fs.service.xml @@ -70,7 +70,7 @@ <filename>/usr</filename> and the virtual kernel API file systems such as <filename>/proc</filename>, <filename>/sys</filename> or - <filename>/dev/</filename>. This service executes no + <filename>/dev</filename>. This service executes no operation if <filename>/etc/fstab</filename> does not exist or lists no entries for the mentioned file systems.</para> |