Re: makeinfo: XML encoding missing when writing to stdout

[Karl Berry]

        makeinfo --xml -o - my_file
    the first line of the output is
        <?xml version="1.0"?>

Unfortunately, this is hard to fix.  makeinfo writes the header, then
goes back and inserts the encoding after the @documentencoding is seen.
Not possible when the output is not seekable.  So to really fix it, the
entire input has to read, parsed, and executed before anything is
written.  As we've discussed, that's arguably how makeinfo should have
been designed in the first place, but I don't see it happen any time
soon.

Looking at the code, you should have at least gotten a warning about it?

Sorry,
Karl