summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2016-05-23 21:54:34 (GMT)
committerJunio C Hamano <gitster@pobox.com>2016-05-23 21:54:34 (GMT)
commitfa4f29b8a8febd454fb589f96afa014d73f157c1 (patch)
tree6ed7628590efa59242e5e10b7bd8174333132f5d /Makefile
parent7b02771b4f98cff47504cc6210e7fe9c8138f307 (diff)
parentab81411cede9e5fe52b416c4df835e19f1048426 (diff)
downloadgit-fa4f29b8a8febd454fb589f96afa014d73f157c1.zip
git-fa4f29b8a8febd454fb589f96afa014d73f157c1.tar.gz
git-fa4f29b8a8febd454fb589f96afa014d73f157c1.tar.bz2
Merge branch 'jc/doc-lint'
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
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index bc3d41e..0d59718 100644
--- a/Makefile
+++ b/Makefile
@@ -2483,6 +2483,7 @@ ALL_COMMANDS += git-gui git-citool
.PHONY: check-docs
check-docs::
+ $(MAKE) -C Documentation lint-docs
@(for v in $(ALL_COMMANDS); \
do \
case "$$v" in \