\def\fontprefix{pl}
I see, thanks.
with Texinfo sequences, but they appear so often that using this
approach will make any text impossible to edit.
I was only thinking about changing them in txi-pl.tex, just to minimize
the number of 8-bit characters in the distribution. Do you think that
would be ok? I guess it would disallow hyphenation in those words, but
I doubt those keywords get hyphenated much anyway.
Thanks also for the revised patch, will take care of it ASAP.
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
