From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 15 Jun 2008 20:43:32 +0000 (-0700)
Subject: Makefile: update check-docs target
X-Git-Tag: v1.5.6~17
X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=d0594be162adb102c6b6d0e701c578054fcb3885;p=git.git

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>
---

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 \