diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-19 16:06:10 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-20 22:43:27 -0500 |
| commit | c0652d453e2329fa465f71d4c68f5fe8618a7de2 (patch) | |
| tree | 62ccb1edef613eff72d950e6afa09c0848caeae9 /tools/check-includes.pl | |
| parent | ef417cfd2211ae017a38b9796c6db29130133e63 (diff) | |
man: ignore non-manpage files when generating makefile
Diffstat (limited to 'tools/check-includes.pl')
0 files changed, 0 insertions, 0 deletions