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 /INSTALL | |
| parent | add a script to diff rendered documentation (diff) | |
| download | tgif-7a76f5c611c25785cbb49374c04d366c274a3936.tar.xz | |
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 'INSTALL')
0 files changed, 0 insertions, 0 deletions