Re: Various problems with /usr/share/doc/dejagnu/dejagnu.pdf.gz

Ben Elliston <[email protected]> Tue, 10 Nov 2015 13:35:15 +1100

Newsgroups	gmane.comp.sysutils.dejagnu.bugs
Message-ID	<[email protected]>

On Mon, Nov 09, 2015 at 07:34:36PM +0000, Thibault, Daniel wrote:

> First off, the documentation seems badly out of date (apparently
     stopped at version 1.4, 2006).

That's not quite correct. We do update the documentation as time
permits, but the version number is probably way behind.  I'll fix
that.

Thanks for point out those errors.  I'll fix them all now.

Cheers, Ben

_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu

signature.asc (application/pgp-signature, 811 B)