[GSoC] Javascript for info-style navigation

Hello, This summer I am doing a Google Summer of Code to implement a Javascript UI for manuals generated with GNU Texinfo [1]. Here is a report for my second and third week of development: http://mathieu.lirzin.emi.u-bordeaux.fr/2017/06/16/gsoc2017-2-3/ Suggestions or comments are welcome. -

Texinfo manual: Sentence spacing

Hi, In the Texinfo manual, section on @frenchspacing: https://www.gnu.org/software/texinfo/manual/texinfo/html_node/_0040frenchspacing.html "In American typography, it is traditional and correct to put extra space at the end of a sentence. This is the default in Texinfo (implemented in