summaryrefslogtreecommitdiffstats
path: root/user-manual.html
diff options
context:
space:
mode:
Diffstat (limited to 'user-manual.html')
-rw-r--r--user-manual.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/user-manual.html b/user-manual.html
index 0bee55c8a..f29318aad 100644
--- a/user-manual.html
+++ b/user-manual.html
@@ -1393,7 +1393,7 @@ individual files. The second is the amount of space taken up by
those "loose" objects.</p><p>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 <a class="ulink" href="gitformat-pack" target="_top">5</a>.</p><p>To put the loose objects into a pack, just run git repack:</p><pre class="screen">$ git repack
+found in <a class="ulink" href="gitformat-pack.html" target="_top">gitformat-pack(5)</a>.</p><p>To put the loose objects into a pack, just run git repack:</p><pre class="screen">$ git repack
Counting objects: 6020, done.
Delta compression using up to 4 threads.
Compressing objects: 100% (6020/6020), done.