> (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
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
