path: root/Documentation/user-manual.txt
diff options
Diffstat (limited to 'Documentation/user-manual.txt')
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 29552e7..cbb01a1 100644
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -1973,7 +1973,7 @@ $ git clone
(See also
for a slightly more sophisticated setup using WebDAV which also
allows pushing over HTTP.)
@@ -3187,7 +3187,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:technical/pack-format.txt[technical/pack-format.txt].
+found in link:technical/pack-format.html[pack format].
To put the loose objects into a pack, just run git repack: