Re: Adding support for ISO-8859-1 in printed manuals

[Karl Berry]

         \gdef^^ed{\'{\dotless i}}

Ah yes.  I've run into that too, but had forgotten when I wrote.

    I'll be replacing \ptexi with \dotless in the next patch I send
    (hopefully implementing latin2 support, also).

Excellent (both).

    By the way. Is it ok that I send only the result of a cvs diff command? 

Yes, a diff against what is currently in cvs is ideal.  (A whole new
texinfo.tex just means I have to do the diff. :)

Thanks Paulo.