Re: gnulib Compressed HTML help

2017-10-29 Thread Gisle Vanem
Bruno Haible wrote: The answer is: When I use it with kchmviewer, it provides fast scrolling through the (huge) TOC, a search index, and a fast search facility. Which is not built-in into browsers and is often emulated with slow JavaScript. Agreed. It is also viewable in 'okular', but it sho

gnulib Compressed HTML help

2017-10-29 Thread Gisle Vanem
Maybe a bit off-topic, but I've created a Compressed HTML-file from the doc/*.texi files. Using this makefile snippet: TEXI2HTML ?= py -3 f:/ProgramFiler/Python36/Tools/scripts/texi2html.py gnulib.chm: gnulib.texi -mkdir output $(TEXI2HTML) -H gnulib $< output hhc gnulib.hhp (