Hi Ben, Did you have an opportunity to take a look at the patch? If there is anything that you think I can already refine, please, let me know.
best regards, Alexander 2013/2/20 Alexander Ivchenko <aivch...@gmail.com>: > Hello Ben, > > Thank you very much for your input. > I attached the updated version with .xml doc files. > > Alexander > > 2013/2/13 Ben Elliston <b...@air.net.au>: >> 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 _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
