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/urls.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/urls.txt')
-rw-r--r-- | Documentation/urls.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/urls.txt b/Documentation/urls.txt index b05da95788..bc354fe2dc 100644 --- a/Documentation/urls.txt +++ b/Documentation/urls.txt @@ -62,7 +62,7 @@ may be used: where <address> may be a path, a server and path, or an arbitrary URL-like string recognized by the specific remote helper being -invoked. See linkgit:gitremote-helpers[1] for details. +invoked. See linkgit:gitremote-helpers[7] for details. If there are a large number of similarly-named remote repositories and you want to use a different format for them (such that the URLs you |