diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-08-06 18:34:21 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-06 13:33:28 -0700 |
commit | 5d14258b3694e02392cb24d076d2c7f9cf097f2e (patch) | |
tree | 635d18940f89ba8fcf27094e6dcb64075d8bdb75 /Documentation/SubmittingPatches | |
parent | completion: complete general config vars in two steps (diff) | |
download | tgif-5d14258b3694e02392cb24d076d2c7f9cf097f2e.tar.xz |
Makefile: add missing dependency for command-list.h
Commit 3ac68a93fd (help: add --config to list all available config -
2018-05-26) makes generate-cmdlist.sh adds a new input source
config.txt but it's not a Makefile dependency. Any changes in
config.txt will not trigger command-list.h regeneration and the config
list in this file becomes outdated. Correct the dependency.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/SubmittingPatches')
0 files changed, 0 insertions, 0 deletions