[PATCH 0/4] doc lint: fix recent regression, make non-.PHONY

Recent patches of mine broke the "check-docs" target by using ;-chaining instead of &&-chaining, d'oh! That's currently hiding a breakage in "seen"[1], sorry!

In 1/4 that's fixed, 2/4 emits errors to STDERR instead of STDOUT, 3/4 speeds up the target by ~2x by skipping unnecessary work, and 4/4 makes it non-.PHONY.

The technique in 4/4 of exhaustively generating a dependency graph per-file is something I'm also using in some yet-to-be-submitted series of other Makefile fixes, that similarly speed things up.

1. https://lore.kernel.org/git/87lf2ueafl.fsf@evledraar.gmail.com/

Ævar Arnfjörð Bjarmason (4):
  doc lint: fix error-hiding regression
  doc lint: emit errors on STDERR
  doc build: speed up "make lint-docs"
  doc lint: make "lint-docs" non-.PHONY

 Documentation/.gitignore                  |  1 +
 Documentation/Makefile                    | 67 ++++++++++++++++++++---
 Documentation/lint-gitlink.perl           | 10 ++--
 Documentation/lint-man-end-blurb.perl     |  2 +-
 Documentation/lint-man-section-order.perl |  2 +-
 5 files changed, 69 insertions(+), 13 deletions(-)