diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-03-25 14:41:36 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-01 14:00:53 +0900 |
| commit | 439cc746322cc80e4abe4889d9c36defbe93fecc (patch) | |
| tree | 45447f31ed99d75cd34ad20a1e409ea9d4e9fdee /Documentation/git-remote-ext.txt | |
| parent | aeb582a98374c094361cba1bd756dc6307432c42 (diff) | |
| download | git-439cc746322cc80e4abe4889d9c36defbe93fecc.tar.gz | |
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-ext.txt')
| -rw-r--r-- | Documentation/git-remote-ext.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-remote-ext.txt b/Documentation/git-remote-ext.txt index 3fc5d94336..790e2ca3fe 100644 --- a/Documentation/git-remote-ext.txt +++ b/Documentation/git-remote-ext.txt @@ -118,7 +118,7 @@ begins with `ext::`. Examples: SEE ALSO -------- -linkgit:gitremote-helpers[1] +linkgit:gitremote-helpers[7] GIT --- |