diff options
| author | Todd Zullinger <tmz@pobox.com> | 2018-11-20 13:04:54 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-11-21 13:53:22 +0900 |
| commit | 6056817879e4e3ef78c8fa4e8aeda76f124dbc2e (patch) | |
| tree | c70971eb7d7acca11f1022528f0bd044f0a0465f /Documentation/Makefile | |
| parent | bb75be6cb916297f271c846f2f9caa3daaaec718 (diff) | |
| download | git-6056817879e4e3ef78c8fa4e8aeda76f124dbc2e.tar.gz | |
Documentation: build technical/multi-pack-index
The git-multi-pack-index doc links to technical/multi-pack-index.html.
Ensure it is built to prevent a broken link.
Signed-off-by: Todd Zullinger <tmz@pobox.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/Makefile')
| -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 |