Merge branch 'ab/doc-lint'
authorJunio C Hamano <gitster@pobox.com>
Fri, 7 May 2021 03:47:40 +0000 (12:47 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 7 May 2021 03:47:40 +0000 (12:47 +0900)
commit5a357fa477bd9d7f9190cca3e5a7ef1186c3d64a
tree97fb917d26fca31d34243366973a0db0a878734e
parentfe069dce6251f40eb3d54861500c92afb0e481d9
parent414abf159f9137ea9e4239f3c34d91310edc817d
Merge branch 'ab/doc-lint'

Dev support.

* ab/doc-lint:
  docs: fix linting issues due to incorrect relative section order
  doc lint: lint relative section order
  doc lint: lint and fix missing "GIT" end sections
  doc lint: fix bugs in, simplify and improve lint script
  doc lint: Perl "strict" and "warnings" in lint-gitlink.perl
  Documentation/Makefile: make doc.dep dependencies a variable again
  Documentation/Makefile: make $(wildcard howto/*.txt) a var
Documentation/Makefile