Re: Index wrongly encoded with UTF-8

2017-07-28 Thread Vincent Belaïche
Herein-attached is an alternative fix. The code is a little less straightforward, but it is supposed to be more efficient. Frankly speaking, as indexes are not the main part of a document, I don't think that there is any measurable performance difference, but I like the idea to code it in a way th

Re: Index wrongly encoded with UTF-8

2017-07-28 Thread Vincent Belaïche
Re-hello, Actually, the fix is fairly simple. Sorry for not letting you more time think about it. I attached it. Vincent. PS : BTW, there is not test bench for texinfo.tex non regression, so I could not submit the corresponding test for this bug. --- L'absence de virus dans ce courrier élec

Index wrongly encoded with UTF-8

2017-07-28 Thread Vincent Belaïche
Hello, Attached is a minimal example. I don't know who is to blame, is that Texinfo, or MikTeX, as I updated the latter lately. Look at the .cp file, I get a spurious space in between the bytes of any UTF-8 charcters that do not fit in a single byte (there are plenty of those in French, like é o

Re: [GSoC] Javascript for info-style navigation

2017-07-28 Thread Mathieu Lirzin
Hello, Here is a report for week 9: http://mathieu.lirzin.emi.u-bordeaux.fr/2017/07/28/gsoc-2017-9/ Suggestions or comments are welcome. -- Mathieu Lirzin GPG: F2A3 8D7E EB2B 6640 5761 070D 0ADE E100 9460 4D37