-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 02/12/13 23:37, Ben Elliston wrote:
> Rob, Docbook is a dog. Why don't we take the current generated
> Texinfo file as the starting point and just use that, like every
> other GNU project?
Actually other projects don't use texinfo as the primary format.
Considering the DejaGnu manual doesn't barely get any updates, I'm not
sure if it matters. I choose docbook cause it produced better camera
ready documentation. Course maybe as an old project that isn't as
important as it was way at Cygnus. So I guess I'd be open to a change...
- rob -
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.13 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
iEYEARECAAYFAlEbpecACgkQULmhEKC20/6WJwCcDC2ex0i4ieThjhMT945ro4Uj
KvoAoI8M4U+K/1FVORcOxKLelNKBmd2X
=dJlQ
-----END PGP SIGNATURE-----
_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu
