Re: ISO-8859-1

[Karl Berry]

    It occurred to me that I might have rerun autoconf/configure to get
    the new texinfo.tex, 

No, texinfo.tex is completely separate from auto*/configure.

    and that solved the error.  

So I'm baffled as to why it made any difference at all.

    /home/jas/src/libidn/doc/libidn.texi:1277: Undefined control sequence

Well, that sound like you just don't have the texinfo.tex that I checked
in.  You need 2003-12-17.17.
http://cvs.berlios.de/cgi-bin/viewcvs.cgi/*checkout*/texinfo/texinfo/doc/texinfo.tex?rev=1.13&content-type=text/plain

BTW, as far as the appearance of the characters go, I typeset the a and
o in one smaller point size.  Perhaps it would be better to go three
sizes smaller?  Since I've never seen these chars in actual texts, I
don't know what looks right.

Thanks,
k