aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2008-06-15 13:43:32 -0700
committerJunio C Hamano <gitster@pobox.com>2008-06-15 13:43:32 -0700
commitd0594be162adb102c6b6d0e701c578054fcb3885 (patch)
treec60af3d3bd06ccec5aebc99e2fe44bd5bc8de81c /Makefile
parent8da1e21231a039889507f4d727882bd0a64e5b95 (diff)
downloadgit-d0594be162adb102c6b6d0e701c578054fcb3885.tar.gz
git-d0594be162adb102c6b6d0e701c578054fcb3885.tar.xz
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>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 06ebebe4b..b003e3e60 100644
--- a/Makefile
+++ b/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 \