Re: Changes to Texinfo DTD

[Karl Berry]

    @code 341 345
    @xref 359 371 378 389    (list each section in the *Note .... output)

I suppose it could be done, but
(1) I see no advantage over the XML output;
(2) It seems significantly harder to read, write, and debug than XML; and
(3) the XML output is already there.  This would require significant new
    effort in makeinfo, without adding commensurate value.