config.txt: move pull part out to a separate file

diff --git a/Documentation/Makefile b/Documentation/Makefile
index d079d7c73aca1fd91ac18045aab46b2446f43a16..a42dcfc74599a29bce540a54191b84755c161e05 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -76,6 +76,7 @@ TECH_DOCS += technical/long-running-process-protocol
 TECH_DOCS += technical/pack-format
 TECH_DOCS += technical/pack-heuristics
 TECH_DOCS += technical/pack-protocol
+TECH_DOCS += technical/partial-clone
 TECH_DOCS += technical/protocol-capabilities
 TECH_DOCS += technical/protocol-common
 TECH_DOCS += technical/protocol-v2