diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-13 21:51:31 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-13 23:09:00 -0500 |
| commit | a4e0b94d318e35b1441fc56f590668e80ff2e44e (patch) | |
| tree | 1c1fdcf0587b2be55d326d149b12f0dfeeebdd15 /make-man-rules.py | |
| parent | 895aeb27795c00f365ce3b30b1dca549b4f5468e (diff) | |
man: add filenames to the index
Limiting the addition to filenames from <refsynopsis>
seems to give a good enough S/N ratio.
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions