Re: Error in doc/user.xml makes manual unprocessable

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