Documentation: rename git.texi to user-manual.texi

Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 37ec355ba41e9f0cc6474ca0f04ec7e8921dfd59..1fd48ab3678004af4e1a83af5530d899ec948cbb 100644 (file)
--- 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 $@+ $@