From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 25 Oct 2021 23:07:01 +0000 (-0700)
Subject: Merge branch 'ab/fix-make-lint-docs'
X-Git-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=63ec2297d26155adb0e38745bf2284cd663add8e;p=rit

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
---

63ec2297d26155adb0e38745bf2284cd663add8e