On Fri, Mar 26, 2021 at 11:36:45AM +0100, Ævar Arnfjörð Bjarmason wrote: > A small stand-alone series of doc infrastructure fixes. 5/6 fixes an > interesting bug that's been missed since doc-diff was introduced. I'm not sure what you mean about doc-diff here. Patch 5 (of 5?) doesn't seem related. Patch 4 is related only tangentially, in that you might have more stuff in your Documentation directory. That said... > Documentation/Makefile: make $(wildcard howto/*.txt) a var > Documentation/Makefile: make $(wildcard <doc deps>) a var > doc lint: Perl "strict" and "warnings" in lint-gitlink.perl These three look obviously correct. > doc lint: fix bugs in, simplify and improve lint script > doc lint: lint and fix missing "GIT" end sections These two seem fine, though I left some comments for possible improvements. -Peff
