From d0594be162adb102c6b6d0e701c578054fcb3885 Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Sun, 15 Jun 2008 13:43:32 -0700 Subject: [PATCH] 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 --- Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) 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 \ -- 2.30.2