diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-04-09 17:02:45 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-04-10 23:36:34 -0700 |
commit | 19bcc73e70e05a9d346c5d488edbb7ce2b36c40f (patch) | |
tree | ce1bc88dfffdc3b33d29a50538a45cb07bc5379c /Documentation/git-replace.txt | |
parent | Documentation/Makefile: make $(wildcard howto/*.txt) a var (diff) | |
download | tgif-19bcc73e70e05a9d346c5d488edbb7ce2b36c40f.tar.xz |
Documentation/Makefile: make doc.dep dependencies a variable again
Re-introduce a variable to declare what *.txt files need to be
considered for the purposes of scouring files to generate a dependency
graph of includes.
When doc.dep was introduced in a5ae8e64cf (Fix documentation
dependency generation., 2005-11-07) we had such a variable called
TEXTFILES, but it was refactored away just a few commits after that in
fb612d54c1 (Documentation: fix dependency generation.,
2005-11-07). I'm planning to add more wildcards here, so let's bring
it back.
I'm not calling it TEXTFILES because we e.g. don't consider
Documentation/technical/*.txt when generating the graph (they don't
use includes). Let's instead call it DOC_DEP_TXT.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-replace.txt')
0 files changed, 0 insertions, 0 deletions