diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-03-26 00:41:36 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-04-01 08:00:53 +0300 |
commit | 439cc746322cc80e4abe4889d9c36defbe93fecc (patch) | |
tree | 45447f31ed99d75cd34ad20a1e409ea9d4e9fdee /Documentation/git-remote-helpers.txto | |
parent | aeb582a98374c094361cba1bd756dc6307432c42 (diff) |
docs: move gitremote-helpers into section 7
It is currently in section 1, but that section is intended for
"Executable programs or shell commands".
A more appropriate place is section 7: "Miscellaneous (including macro
packages and conventions), e.g. man(7), groff(7)".
This issue should have been detected earlier by `make check-docs`, but
was missed due to a bug in that Makefile target (that we are about to
fix).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-remote-helpers.txto')
-rw-r--r-- | Documentation/git-remote-helpers.txto | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-remote-helpers.txto b/Documentation/git-remote-helpers.txto index 49233f5d26..6f353ebfd3 100644 --- a/Documentation/git-remote-helpers.txto +++ b/Documentation/git-remote-helpers.txto @@ -1,7 +1,7 @@ git-remote-helpers ================== -This document has been moved to linkgit:gitremote-helpers[1]. +This document has been moved to linkgit:gitremote-helpers[7]. Please let the owners of the referring site know so that they can update the link you clicked to get here. |