diff options
| author | Jeff King <peff@peff.net> | 2018-08-21 15:23:22 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-08-21 12:54:33 -0700 |
| commit | 7a76f5c611c25785cbb49374c04d366c274a3936 (patch) | |
| tree | afd1fca8c0cefc468b581f7285c7e1a2426ebc52 /builtin/commit.c | |
| parent | beb188e22ad0ca4287984c316c7e0b0f9aa895e6 (diff) | |
SubmittingPatches: mention doc-diff
We already advise people to make sure their documentation
formats correctly. Let's point them at the doc-diff script,
which can help with that.
Let's also put a brief note in the script about its purpose,
since that otherwise can only be found in the original
commit message. Along with the existing -h/usage text,
that's hopefully enough for developers to make use of it.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions