doc: move extensions.worktreeConfig to the right place
commit356aea6f7921d83f2794124c84ad366b418ec804
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Wed, 14 Nov 2018 16:02:47 +0000 (14 17:02 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 16 Nov 2018 05:10:31 +0000 (16 14:10 +0900)
tree697e98c286d1126c268e9a24bb13eb6b70bdd6c8
parentd166e6afe5f257217836ef24a73764eba390c58d
doc: move extensions.worktreeConfig to the right place

All config extensions are described in technical/repository-version.txt.
I made a mistake of adding it in config.txt instead. This patch moves
it back to where it belongs.

Since repository-version.txt is not part of officially generated
documents (it's not even part of DOC_HTML target), it's only visible
to developers who read plain .txt files. Let's include it in
gitrepository-layout.5 for more visibility. Some minor asciidoc fixes
are required in repository-version.txt to make this happen.

Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/gitrepository-layout.txt
Documentation/technical/repository-version.txt