tree a901f22a8441e07116908d22aa4c36aa95decfa2
parent 06355d72dc610ec3806cda328ec9b347a5daed5b
parent 8650c6298c1cde720ffe3fe9f222662f61e7a0dc
author Junio C Hamano <gitster@pobox.com> 1635203221 -0700
committer Junio C Hamano <gitster@pobox.com> 1635203221 -0700

Merge branch 'ab/fix-make-lint-docs'

Build fix.

* ab/fix-make-lint-docs:
  doc lint: make "lint-docs" non-.PHONY
  doc build: speed up "make lint-docs"
  doc lint: emit errors on STDERR
  doc lint: fix error-hiding regression