diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-06-16 00:43:32 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-06-16 00:43:32 +0400 |
| commit | d0594be162adb102c6b6d0e701c578054fcb3885 (patch) | |
| tree | c60af3d3bd06ccec5aebc99e2fe44bd5bc8de81c /INSTALL | |
| parent | 8da1e21231a039889507f4d727882bd0a64e5b95 (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>
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions