On Sat, Mar 01, 2025 at 06:38:24PM +0000, Gavin Smith wrote: > 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.
It could be used, maybe. > 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. Keeping the format is a maintenance burden, but I do not think that the Texinfo XML stability is an issue for two reasons: * there are no reasons for much change, as it the format is tied to the Texinfo language, not to the texi2any code or to the Texinfo tree. * there is a DTD, so if the language changes, the users and tools have that specific information that may help them adapt. -- Pat
