diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-11-21 20:39:02 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-11-21 20:39:02 +0900 |
commit | 5e8feea17a4fc8391a3252b926015c917869a140 (patch) | |
tree | 4f29c16ec065196bf092ed715f05008232e16896 | |
parent | Merge branch 'jn/eoie-ieot' (diff) | |
parent | Documentation: build technical/multi-pack-index (diff) | |
download | tgif-5e8feea17a4fc8391a3252b926015c917869a140.tar.xz |
Merge branch 'tz/build-tech-midx-doc'
A documentation page that is referred to by other pages was not
built by mistake, which has been corrected.
* tz/build-tech-midx-doc:
Documentation: build technical/multi-pack-index
-rw-r--r-- | Documentation/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 48d261dc2c..d5d936e6a7 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -73,6 +73,7 @@ TECH_DOCS += technical/hash-function-transition TECH_DOCS += technical/http-protocol TECH_DOCS += technical/index-format TECH_DOCS += technical/long-running-process-protocol +TECH_DOCS += technical/multi-pack-index TECH_DOCS += technical/pack-format TECH_DOCS += technical/pack-heuristics TECH_DOCS += technical/pack-protocol |