diff --git a/Documentation/config.txt b/Documentation/config.txt index e80148a133..9de16a498e 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -385,7 +385,7 @@ include::config/pretty.txt[] include::config/protocol.txt[] -include::pull-config.txt[] +include::config/pull.txt[] include::push-config.txt[] diff --git a/Documentation/pull-config.txt b/Documentation/config/pull.txt similarity index 100% rename from Documentation/pull-config.txt rename to Documentation/config/pull.txt