Re: problem with --enable-encoding

[Karl Berry]

    Ouch!  Is there no other way?  

Given the way makeinfo is structured now, no.

    IMHO, using direct fwrite's is BAD, as it bypasses the normal stream
    of makeinfo's output.

This is the end point of makeinfo's "normal stream of output".  The
insert_string (or anything else) is ineffective because we are about to
close the output file and exit the program.  There's a direct fwrite of
the main output file just above this.  Hey, you've got to write the
final bytes to disk sometime, can't just fiddle with them forever ...

Also, there's no point in any sort of conversion of the Local
Variables trailer.  All that could do is mess things up, we know exactly
what we want to write.