diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-06-30 09:56:44 -0400 |
|---|---|---|
| committer | Sven Eden <yamakuzure@gmx.net> | 2017-03-14 10:05:53 +0100 |
| commit | 322e286bc4da19f8dcfe991971e397e0afca067b (patch) | |
| tree | 8d076be1bbf383e5c2738b75507a109ce074893b /.gitignore | |
| parent | e2fd438e1bac5b515a3e96a05e678f5d64118a93 (diff) | |
build-sys: use wildcard glob in update-man-list again
The idea is that after adding a new man page, make update-man-list
will be used to regenerate part of the makefile. So the data already
present in the makefile cannot be used to do that.
Also, renames filter out generated xml files in make-man-rules.py
itself in order to make Makefile.am a bit simpler, and rename files
to dist_files to better reflect new meaning.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions