summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLibravatar Junio C Hamano <gitster@pobox.com>2016-05-23 14:54:34 -0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2016-05-23 14:54:34 -0700
commitfa4f29b8a8febd454fb589f96afa014d73f157c1 (patch)
tree6ed7628590efa59242e5e10b7bd8174333132f5d /Makefile
parentMerge branch 'js/perf-rebase-i' (diff)
parentci: validate "linkgit:" in documentation (diff)
downloadtgif-fa4f29b8a8febd454fb589f96afa014d73f157c1.tar.xz
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 \