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 /git-gui | |
parent | Consistency: Use "libcurl" instead of "cURL library" and "curl" (diff) | |
download | tgif-d0594be162adb102c6b6d0e701c578054fcb3885.tar.xz |
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 'git-gui')
0 files changed, 0 insertions, 0 deletions