author | Junio C Hamano <gitster@pobox.com> | |
Sun, 15 Jun 2008 20:43:32 +0000 (13:43 -0700) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Sun, 15 Jun 2008 20:43:32 +0000 (13:43 -0700) | ||
commit | d0594be162adb102c6b6d0e701c578054fcb3885 | |
tree | c60af3d3bd06ccec5aebc99e2fe44bd5bc8de81c | tree | snapshot |
parent | 8da1e21231a039889507f4d727882bd0a64e5b95 | commit | diff |
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>
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>
Makefile | diff | blob | history |