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