Subject: [PATCH 17/78] config.txt: move completion.* to a separate file

From: Nguyễn Thái Ngọc Duy <[email-masked]>
Date: Sat, 27 Oct 2018 08:22:50 +0200

Signed-off-by: Nguyễn Thái Ngọc Duy <[email-masked]>
---
 Documentation/config.txt            | 8 +-------
 Documentation/config/completion.txt | 7 +++++++
 2 files changed, 8 insertions(+), 7 deletions(-)
 create mode 100644 Documentation/config/completion.txt

diff --git a/Documentation/config.txt b/Documentation/config.txt
index 2c21a5f366..83f5ce9056 100644
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@ -317,13 +317,7 @@ include::config/commit.txt[]
 
 include::config/credential.txt[]
 
-completion.commands::
-	This is only used by git-completion.bash to add or remove
-	commands from the list of completed commands. Normally only
-	porcelain commands and a few select others are completed. You
-	can add more commands, separated by space, in this
-	variable. Prefixing the command with '-' will remove it from
-	the existing list.
+include::config/completion.txt[]
 
 include::diff-config.txt[]
 
diff --git a/Documentation/config/completion.txt b/Documentation/config/completion.txt
new file mode 100644
index 0000000000..4d99bf33c9
--- /dev/null
+++ b/Documentation/config/completion.txt
@@ -0,0 +1,7 @@
+completion.commands::
+	This is only used by git-completion.bash to add or remove
+	commands from the list of completed commands. Normally only
+	porcelain commands and a few select others are completed. You
+	can add more commands, separated by space, in this
+	variable. Prefixing the command with '-' will remove it from
+	the existing list.
-- 
2.19.1.647.g708186aaf9