chiark / gitweb /
man: add filenames to the index
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 14 Feb 2013 02:51:31 +0000 (21:51 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 14 Feb 2013 04:09:00 +0000 (23:09 -0500)
Limiting the addition to filenames from <refsynopsis>
seems to give a good enough S/N ratio.


No differences found