diff options
author | Todd Zullinger <tmz@pobox.com> | 2022-09-16 09:23:02 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-09-16 18:38:03 +0300 |
commit | 086eaab8da7da69907cfc1461d912aea2827406b (patch) | |
tree | 53832d08e5df33739d6dc1a7c5015c4a87479448 /Documentation/user-manual.txt | |
parent | d3fa443f97e3a8d75b51341e2d5bac380b7422df (diff) |
docs: fix a few recently broken links
Some links were broken in the recent move of various technical docs
c0f6dd49f1 (Merge branch 'ab/tech-docs-to-help', 2022-08-14).
Fix them.
Signed-off-by: Todd Zullinger <tmz@pobox.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/user-manual.txt')
-rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index ca9decdd95..dc9c6a663a 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -3133,7 +3133,7 @@ those "loose" objects. You can save space and make Git faster by moving these loose objects in to a "pack file", which stores a group of objects in an efficient compressed format; the details of how pack files are formatted can be -found in link:gitformat-pack[5]. +found in linkgit:gitformat-pack[5]. To put the loose objects into a pack, just run git repack: |