I am sure in the texinfo file, it is in UTF-8 and not in ISO-8859-1 because I use a software (utrac) which tell me in what encoding the file is. But maybe when I send a mail it is converted automatically in ISO-8859-1.
But : problem resolved :-) In fact, the problem wasn't Texinfo. The problem was TeX (1). On my distro, I have textex (2). So, I uninstall tetex then I install the last TeX Live (3). And now, the accent can be directly put in my texinfo file in the verbatim mode using '@documentencoding UTF-8', and it is displayed in the PDF correctly. I use these versions : -texlive 20091107 -texinfo 4.13a Thank you. (1) : http://www.tug.org/ (2) : http://www.tug.org/tetex/ (3) : Live http://www.tug.org/texlive/ Selon Karl Berry <[email protected]>: > The problem is that there is a link "(dir)" to go to > "../index.html#dir", and this file isn't generated by makeinfo, so > it doesn't exists. > > I've never thought much about what to do with the (dir) entry in HTML > output. But certainly makeinfo cannot create it. You have to create > it. Or else you can postprocess the html to get rid of the bad link. > Sorry. > > I expect the next release will have more ways to control what happens. > (Right, Patrice?) > > Best, > Karl >
