On Wed, Feb 13, 2013 at 07:40:53AM -0700, Rob Savoye wrote: > Actually other projects don't use texinfo as the primary format.
"The preferred document format for the GNU system is the Texinfo formatting language." http://www.gnu.org/prep/standards/html_node/GNU-Manuals.html#GNU-Manuals > Considering the DejaGnu manual doesn't barely get any updates, I'm > not sure if it matters. I suspect it's a bit circular. I dread updating the manual because I hate having to re-learn Docbook. :-) Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
