txi-pl.tex and 8-bit chars

[Karl Berry]

    > (And for the txi-pl.tex fix.)

    Yes, please. This one is important indeed, as it does allow to produce
    Polish documents on newer TeTeX.

I installed the change.  But how do those 8-bit characters get properly
printed?  Are you using a different texinfo.tex with different fonts or
active 8-bit characters?  I must be missing something.  What are those
characters, anyway?  At least some of them look like they could be
specified with normal Texinfo command sequences, e.g., @'o.

Thanks,
Karl