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 /m4 | |
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 'm4')
0 files changed, 0 insertions, 0 deletions