write_head_info(): handle "extra refs" locally

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 77376dea95c603d86eebe537353c78eb39caed82..e869032fc0703aed18d3cb1417eda4341c29e093 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -44,6 +44,17 @@ unreleased) version of git, that is available from 'master'
 branch of the `git.git` repository.
 Documentation for older releases are available here:
 
+* link:v1.7.8/git.html[documentation for release 1.7.8]
+
+* release notes for
+  link:RelNotes/1.7.8.txt[1.7.8].
+
+* link:v1.7.7.1/git.html[documentation for release 1.7.7.1]
+
+* release notes for
+  link:RelNotes/1.7.7.1.txt[1.7.7.1],
+  link:RelNotes/1.7.7.txt[1.7.7].
+
 * link:v1.7.6.4/git.html[documentation for release 1.7.6.4]
 
 * release notes for