diff options
| author | Tuomas Ahola <taahol@utu.fi> | 2026-09-09 08:25:01 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2026-09-09 11:09:58 -0700 |
| commit | 8d96b6031c6c2b175d3679bdd67ac5cb8244bfe9 (patch) | |
| tree | 8bf1bc774ef9ed2d5dffcdf4963d91c1ad2fcc6e /t/t4013/diff.diff_initial..side | |
| parent | 17d65728b118976ecfdef96758804d7e85703dd1 (diff) | |
lint-docs: check the guide list in command-list.txt
Since 2135e1ad70 (command-list.txt: add missing 'gitcredentials' and
'gitremote-helpers', 2020-08-05) there has been a comment in
Documentation/Makefile reminding developers to add new guides also to
command-list.txt. However, there is no linter script to enforce that.
Adapt Documentation/lint-manpages.sh to fill that role. Extract
MAN5_TXT and MAN7_TXT from the Makefile and check command-list.txt
against them. Exempt gitweb.conf(5) from the new linter routine.
Signed-off-by: Tuomas Ahola <taahol@utu.fi>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff_initial..side')
0 files changed, 0 insertions, 0 deletions