Merge branch 'jk/push-scrub-url'

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 35c1385ef7e4e5baa822e7dc75b4fc2822aea85f..b43d66eae6e154b229aa1477b8454ce2918ba8b9 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -76,6 +76,7 @@ TECH_DOCS += technical/protocol-common
 TECH_DOCS += technical/racy-git
 TECH_DOCS += technical/send-pack-pipeline
 TECH_DOCS += technical/shallow
+TECH_DOCS += technical/signature-format
 TECH_DOCS += technical/trivial-merge
 SP_ARTICLES += $(TECH_DOCS)
 SP_ARTICLES += technical/api-index