Re: [install info (using perl) 1/2] Add support for an info version of the user manual

From: David Kastrup <dak@gnu.org>
Date: Aug 8, 2007, 23:27 UTC
Message-ID: <85fy2tppys.fsf@lola.goethe.zz>
In-Reply-To: <7v643p1vbr.fsf@assigned-by-dhcp.cox.net>

Junio C Hamano <gitster@pobox.com> writes:

Show 12 quoted lines

> Junio C Hamano <gitster@pobox.com> writes:
>
>> David Kastrup <dak@gnu.org> 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