diff options
-rw-r--r-- | Documentation/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 37ec355ba4..1fd48ab367 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 $@+ $@ |