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

Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Junio C Hamano 2007-12-12 13:31:02 -08:00
parent bf79caffbc
commit 50b3555c48

View File

@ -170,10 +170,10 @@ XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css
user-manual.html: user-manual.xml user-manual.html: user-manual.xml
xsltproc $(XSLTOPTS) -o $@ $(XSLT) $< xsltproc $(XSLTOPTS) -o $@ $(XSLT) $<
git.info: git.texi git.info: user-manual.texi
$(MAKEINFO) --no-split $*.texi $(MAKEINFO) --no-split -o $@ user-manual.texi
git.texi: user-manual.xml user-manual.texi: user-manual.xml
$(RM) $@+ $@ $(RM) $@+ $@
$(DOCBOOK2X_TEXI) user-manual.xml --to-stdout | $(PERL_PATH) fix-texi.perl >$@+ $(DOCBOOK2X_TEXI) user-manual.xml --to-stdout | $(PERL_PATH) fix-texi.perl >$@+
mv $@+ $@ mv $@+ $@