config.txt: move web.* to a separate file

Signed-off-by: Nguyễn Thái Ngọc Duy <[email protected]> Signed-off-by: Junio C Hamano <[email protected]>
ToBoMi · Oct 29, 2018 · 07c11a0 · 07c11a0
1 parent 25268ad
commit 07c11a0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/Documentation/config.txt b/Documentation/config.txt
@@ -433,10 +433,7 @@ include::config/user.txt[]
 
 include::config/versionsort.txt[]
 
-web.browser::
-	Specify a web browser that may be used by some commands.
-	Currently only linkgit:git-instaweb[1] and linkgit:git-help[1]
-	may use it.
+include::config/web.txt[]
 
 worktree.guessRemote::
 	With `add`, if no branch argument, and neither of `-b` nor

diff --git a/Documentation/config/web.txt b/Documentation/config/web.txt
@@ -0,0 +1,4 @@
+web.browser::
+	Specify a web browser that may be used by some commands.
+	Currently only linkgit:git-instaweb[1] and linkgit:git-help[1]
+	may use it.