Merge branch 'jc/doc-lint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 May 2016 21:54:34 +0000 (14:54 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 May 2016 21:54:34 +0000 (14:54 -0700)
Find common mistakes when writing gitlink: in our documentation and
drive the check from "make check-docs".

I am not entirely happy with the way the script chooses what input
file to validate, but it is not worse than not having anything, so
let's move it forward and have the logic improved later when people
care about it deeply.

* jc/doc-lint:
ci: validate "linkgit:" in documentation

1  2 
Makefile
diff --cc Makefile
Simple merge