diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-05-04 14:34:23 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-05-10 11:15:04 -0700 |
commit | ab81411cede9e5fe52b416c4df835e19f1048426 (patch) | |
tree | 58e4c5853e7e686294ecb73e3fd8d04bb4159528 /Makefile | |
parent | Git 2.8 (diff) | |
download | tgif-ab81411cede9e5fe52b416c4df835e19f1048426.tar.xz |
ci: validate "linkgit:" in documentation
It is easy to add incorrect "linkgit:<page>[<section>]" references
to our documentation suite. Catch these common classes of errors:
* Referring to Documentation/<page>.txt that does not exist.
* Referring to a <page> outside the Git suite. In general, <page>
must begin with "git".
* Listing the manual <section> incorrectly. The first line of the
Documentation/<page>.txt must end with "(<section>)".
with a new script "ci/lint-gitlink", and drive it from "make check-docs".
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2496,6 +2496,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 \ |