]> git.ipfire.org Git - thirdparty/git.git/commit
Merge branch 'ab/fix-make-lint-docs'
authorJunio C Hamano <gitster@pobox.com>
Mon, 25 Oct 2021 23:07:01 +0000 (16:07 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Oct 2021 23:07:01 +0000 (16:07 -0700)
commit63ec2297d26155adb0e38745bf2284cd663add8e
treea901f22a8441e07116908d22aa4c36aa95decfa2
parent06355d72dc610ec3806cda328ec9b347a5daed5b
parent8650c6298c1cde720ffe3fe9f222662f61e7a0dc
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
Documentation/Makefile