Junio C Hamano <gitster@xxxxxxxxx> writes: > Junio C Hamano <gitster@xxxxxxxxx> writes: > >> David Kastrup <dak@xxxxxxx> writes: >> >>> @@ -139,6 +154,18 @@ XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css >>> user-manual.html: user-manual.xml >>> xsltproc $(XSLTOPTS) -o $@ $(XSLT) $< >>> >>> +git.info: user-manual.xml >>> + $(RM) $@ $*.texi >>> + $(DOCBOOK2X_TEXI) user-manual.xml --to-stdout | \ >>> + perl -ne 'if (/^\@setfilename/) {$$_="\@setfilename git.info\ [...] > Aside from possible portability issue of multi-line script, there is > another slight problem I am not sure if it is worth fixing. If you > do not have docbook2x-texi installed, nobody notices that resulting > $*.texi was a garbage and an almost empty git.info is generated. Good catch. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html