diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-02 22:47:47 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-06 23:16:16 -0500 |
| commit | 56ba3c78ae35065064c4289a0c8e22a81256af20 (patch) | |
| tree | 29587193349dce9f1b44a2b1787ec357179fb463 /src/shared | |
| parent | 823eb4e64e88e1787a82f84539344ef530f381a8 (diff) | |
build-sys: create Makefile-man.am automatically
man rules were repeating the same information in too many places,
which was error prone. Those rules can be easily generated from .xml
files. For efficiency and because python is not a required dependency,
Makefile-man.am is only regenerated when requested with
make update-man-list
If no metadata in man/*.xml changed, this file should not change. So
only when a new man page or a new alias is added, this file should
show up in 'git diff'. The change should then be committed.
If the support for building from git without python was dropped, we
could drop Makefile-man.am from version control. This would also
increase the partial build time (since more stuff would be rebuild
whenever sources in man/*.xml would be modified), so it would probably
wouldn't be worth it.
Diffstat (limited to 'src/shared')
0 files changed, 0 insertions, 0 deletions