On Sat, Mar 01, 2025 at 12:03:14PM -0500, Gavin D. Smith wrote: > branch: master > commit 2b13220e1d290be0696bce255c924963339cb95c > Author: Gavin Smith <gavinsmith0...@gmail.com> > AuthorDate: Sat Mar 1 08:53:35 2025 +0000 > > * doc/texinfo.texi (Adding Output Formats): remove suggestion > to use Texinfo XML as an intermediate format.
Why remove that? This seems a good idea to me. It has been used in the past (maybe not that successfully), and is the raison d'être of the Texinfo XML format. -- Pat
