diff options
author | Patrick Steinhardt <ps@pks.im> | 2024-12-06 14:24:55 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-12-06 23:52:13 +0100 |
commit | 023c3370ac330760aaf399cf6f6d9dbd7350e8e5 (patch) | |
tree | e727b47448acf7d0d4e629b286b37deb241c9ff8 /contrib | |
parent | Documentation: teach "cmd-list.perl" about out-of-tree builds (diff) | |
download | git-023c3370ac330760aaf399cf6f6d9dbd7350e8e5.tar.xz git-023c3370ac330760aaf399cf6f6d9dbd7350e8e5.zip |
Documentation: extract script to generate a list of mergetools
We include the list of available mergetools into our manpages. Extract
the script that performs this logic such that we can reuse it in other
build systems.
While at it, refactor the Makefile targets such that we don't create
"mergetools-list.made" anymore. It shouldn't be necessary, as we can
instead have other targets depend on "mergetools-{diff,merge}.txt"
directly.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions