diff options
| author |  Alexander Hedges <ahedges@ethz.ch> | 2015-11-07 18:25:16 +0100 |
|---|---|---|
| committer |  ridiculousfish <corydoras@ridiculousfish.com> | 2015-11-08 12:19:15 -0800 |
| commit | 2bbad22248caafdf839a7229d127287db6be08c4 (patch) | |
| tree | faa301ffcf3dfc69cd7048156f26f20b1703d7fe /Makefile.in | |
| parent | 22493c9df82ccf20b791fd597e82fdfebea4ca00 (diff) | |
Remove autogenerated files before generating the new ones
Currently if there is a conflict with two manpages having the same
name, one completion will override the other. But if one can be parsed
and the other can't the one with parsed results will always have a
higher priority.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions