diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-06-15 13:43:32 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-06-15 13:43:32 -0700 |
| commit | d0594be162adb102c6b6d0e701c578054fcb3885 (patch) | |
| tree | c60af3d3bd06ccec5aebc99e2fe44bd5bc8de81c | |
| parent | 8da1e21231a039889507f4d727882bd0a64e5b95 (diff) | |
| download | git-d0594be162adb102c6b6d0e701c578054fcb3885.tar.gz | |
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>
| -rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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 \ |