[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-dejagnu] Error in doc/user.xml makes manual unprocessable
From: |
Ben Elliston |
Subject: |
Re: [Bug-dejagnu] Error in doc/user.xml makes manual unprocessable |
Date: |
Fri, 26 Mar 2010 19:53:53 +1100 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Wed, Mar 24, 2010 at 06:48:50PM +0100, Rainer Orth wrote:
> I've just tried to convert current DejaGnu documentation from the
> git repository into something printable. Unfortunately, this was a
> terrible endavour (especially compared to the ease of use of TeXinfo
> ;-), which seems typical for DocBook/XML-based manuals, and contrary
> to the claim on the DejaGnu homepage, the printable docu there is
> from the 1.4.4 release, not from the repo.
There is Texinfo source in the source tree -- did you try converting
that?
> This is the trivial patch necessary.
Thanks, committed.
Cheers,
Ben