[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

> This is the trivial patch necessary.

Thanks, committed.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]