check-docs: do not bother checking for legacy scripts' documentation
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 18 Apr 2019 13:16:46 +0000 (06:16 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 19 Apr 2019 05:03:24 +0000 (14:03 +0900)
commit31cf4a6...a96c97867451bf6aeca4ea1659c69dcf
treea8f4143...2888975febfe320c3a2f749502498738copy hash to clipboard (tree)
parentfaa7a09...d87f188cb8bb2cc1c21f80c91817ce64copy hash to clipboard (diff)
Makefile