Hi Alexander Sorry to bring bad news, but you've patched the Texinfo files. The definitive source files for the DejaGnu documentation are user.xml and ref.xml. The Texinfo files are automatically generated. Can you please update the right files?
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? Cheers, Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
