summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2016-05-23 14:54:34 -0700
committerJunio C Hamano <gitster@pobox.com>2016-05-23 14:54:34 -0700
commitfa4f29b8a8febd454fb589f96afa014d73f157c1 (patch)
tree6ed7628590efa59242e5e10b7bd8174333132f5d /Makefile
parent7b02771b4f98cff47504cc6210e7fe9c8138f307 (diff)
parentab81411cede9e5fe52b416c4df835e19f1048426 (diff)
downloadgit-fa4f29b8a8febd454fb589f96afa014d73f157c1.tar.gz
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 bc3d41ebf3..0d59718bf7 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 \