Pehaps creating a Texinfo XML DTD would be of help.  Something that Texinfo
could be translated into, including @iftex and its brethern, without lossage.
Then all the many output formats could just work off of an XML parser, which
many exist already.  The Texinfo XML format could not only be used internally
by makeinfo but also used as direct input or output format.

Just a thought...
John

Reply via email to