diff options
| author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2022-08-04 19:28:36 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-08-05 00:12:23 +0300 |
| commit | 5db921054e685a4dbaeb622acda53d6a154e947f (patch) | |
| tree | d9dd16cb9c9cd7dd97747599b8417d07a010a559 /command-list.txt | |
| parent | 8cbace93d270dc49f007a2c1922769240a22eca5 (diff) | |
docs: move protocol-related docs to man section 5
Continue the move of existing Documentation/technical/* protocol and
file-format documentation into our main documentation space. By moving
the things that discuss the protocol we can properly link from
e.g. lsrefs.unborn and protocol.version documentation to a manpage we
build by default.
So far we have been using the "gitformat-" prefix for the
documentation we've been moving over from Documentation/technical/*,
but for protocol documentation let's use "gitprotocol-*".
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'command-list.txt')
| -rw-r--r-- | command-list.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/command-list.txt b/command-list.txt index 3afcfcd35f..ed859fdd79 100644 --- a/command-list.txt +++ b/command-list.txt @@ -218,6 +218,10 @@ gitk mainporcelain gitmailmap userinterfaces gitmodules userinterfaces gitnamespaces guide +gitprotocol-capabilities developerinterfaces +gitprotocol-common developerinterfaces +gitprotocol-pack developerinterfaces +gitprotocol-v2 developerinterfaces gitremote-helpers guide gitrepository-layout userinterfaces gitrevisions userinterfaces |