mirror of
https://github.com/git/git
synced 2024-08-27 03:29:21 +00:00
Makefile: update check-docs target
Earlier series to rename documentation pages around did not update this target and left check-docs broken. This should fix it. Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
8da1e21231
commit
d0594be162
8
Makefile
8
Makefile
|
@ -1412,6 +1412,14 @@ check-docs::
|
|||
documented,gitmodules | \
|
||||
documented,gitcli | \
|
||||
documented,git-tools | \
|
||||
documented,gitcore-tutorial | \
|
||||
documented,gitcvs-migration | \
|
||||
documented,gitdiffcore | \
|
||||
documented,gitglossary | \
|
||||
documented,githooks | \
|
||||
documented,gitrepository-layout | \
|
||||
documented,gittutorial | \
|
||||
documented,gittutorial-2 | \
|
||||
sentinel,not,matching,is,ok ) continue ;; \
|
||||
esac; \
|
||||
case " $(ALL_PROGRAMS) $(BUILT_INS) git gitk " in \
|
||||
|
|
Loading…
Reference in a new issue