On Sat, Mar 01, 2025 at 07:14:09PM +0100, Patrice Dumas wrote: > 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. I can put it back. The main reason is that the Texinfo XML format is not used by anybody, so it seems like a waste of time talking or thinking about it.
If anybody did use it as an intermediate format, it seems like it would be more inconvenient for Texinfo project maintenance, as then we would feel more obligated to maintain the output format and keep it stable. But this part of the manual is supposed to be about how we would prefer people to be able to process Texinfo to new formats.
