diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-11-21 14:39:02 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-11-21 14:39:02 +0300 |
commit | 5e8feea17a4fc8391a3252b926015c917869a140 (patch) | |
tree | 4f29c16ec065196bf092ed715f05008232e16896 /Documentation | |
parent | cdda0ccebfaba45d6e157f9fa205a82aa563c44a (diff) | |
parent | 6056817879e4e3ef78c8fa4e8aeda76f124dbc2e (diff) |
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
Diffstat (limited to 'Documentation')
-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 |