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 _______________________________________________ Bug-dejagnu mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-dejagnu
