diff options
| author |  Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-04-09 17:02:49 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-04-10 23:36:34 -0700 |
| commit | ea8b9271b17e64502dc80981cf09cec42739dce7 (patch) | |
| tree | 7660e38921c7d2d36df523bbefdbfbff260e9869 /Documentation/technical | |
| parent | doc lint: lint and fix missing "GIT" end sections (diff) | |
| download | tgif-ea8b9271b17e64502dc80981cf09cec42739dce7.tar.xz | |
doc lint: lint relative section order
Add a linting script to check the relative order of the sections in
the documentation. We should have NAME, then SYNOPSIS, DESCRIPTION,
OPTIONS etc. in that order.
That holds true throughout our documentation, except for a few
exceptions which are hardcoded in the linting script.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical')
0 files changed, 0 insertions, 0 deletions