Merge branch 'wk/merge-options-gpg-sign-doc'
[gitweb.git] / Documentation / Makefile
index 2415e0d6573e0dd9c0802708df1b5699d71dd09f..471bb29725cdc47b4e56bc85e2af635f7b836776 100644 (file)
@@ -67,6 +67,7 @@ SP_ARTICLES += howto/maintain-git
 API_DOCS = $(patsubst %.txt,%,$(filter-out technical/api-index-skel.txt technical/api-index.txt, $(wildcard technical/api-*.txt)))
 SP_ARTICLES += $(API_DOCS)
 
+TECH_DOCS += technical/hash-function-transition
 TECH_DOCS += technical/http-protocol
 TECH_DOCS += technical/index-format
 TECH_DOCS += technical/pack-format