chiark / gitweb /
~ianmdlvl / elogind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2fd438) | patch
build-sys: use wildcard glob in update-man-list again
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 30 Jun 2015 13:56:44 +0000 (09:56 -0400)
committerSven Eden <yamakuzure@gmx.net>
Tue, 14 Mar 2017 09:05:53 +0000 (10:05 +0100)
commit322e286bc4da19f8dcfe991971e397e0afca067b
tree8d076be1bbf383e5c2738b75507a109ce074893btree | snapshot
parente2fd438e1bac5b515a3e96a05e678f5d64118a93commit | 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.
tools/make-man-rules.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.