From 50b3555c48db08a4b4e8fe047a4fb550bdca75c5 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 12 Dec 2007 13:31:02 -0800
Subject: [PATCH] Documentation: rename git.texi to user-manual.texi

Signed-off-by: Junio C Hamano <gitster@pobox.com>
---
 Documentation/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 37ec355ba41..1fd48ab3678 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -170,10 +170,10 @@ XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css
 user-manual.html: user-manual.xml
 	xsltproc $(XSLTOPTS) -o $@ $(XSLT) $<
 
-git.info: git.texi
-	$(MAKEINFO) --no-split $*.texi
+git.info: user-manual.texi
+	$(MAKEINFO) --no-split -o $@ user-manual.texi
 
-git.texi: user-manual.xml
+user-manual.texi: user-manual.xml
 	$(RM) $@+ $@
 	$(DOCBOOK2X_TEXI) user-manual.xml --to-stdout | $(PERL_PATH) fix-texi.perl >$@+
 	mv $@+ $@