Git 1.7.1

Signed-off-by: Junio C Hamano <gitster@pobox.com>
diff --git a/Documentation/RelNotes-1.7.1.txt b/Documentation/RelNotes-1.7.1.txt
index 10389ad..9d89fed 100644
--- a/Documentation/RelNotes-1.7.1.txt
+++ b/Documentation/RelNotes-1.7.1.txt
@@ -1,5 +1,5 @@
-Git v1.7.1 Release Notes (draft)
-================================
+Git v1.7.1 Release Notes
+========================
 
 Updates since v1.7.0
 --------------------
@@ -87,9 +87,3 @@
 
  * "git rev-list --abbrev-commit" defaulted to 40-byte abbreviations, unlike
    newer tools in the git toolset.
-
----
-exec >/var/tmp/1
-echo O=$(git describe)
-O=v1.7.1-rc1-49-g407a963
-git shortlog --no-merges ^maint $O..
diff --git a/Documentation/git.txt b/Documentation/git.txt
index 105b0b5..c4024d0 100644
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -43,6 +43,11 @@
 branch of the `git.git` repository.
 Documentation for older releases are available here:
 
+* link:v1.7.1/git.html[documentation for release 1.7.1]
+
+* release notes for
+  link:RelNotes-1.7.1.txt[1.7.1].
+
 * link:v1.7.0.6/git.html[documentation for release 1.7.0.6]
 
 * release notes for
diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 1063945..0ad3948 100755
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v1.7.1.rc2
+DEF_VER=v1.7.1
 
 LF='
 '