2017-10-29 14:23:44 UTC
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
$(TEXI2HTML) -H gnulib $< output
(hhc is from MS's HTML Workshop).
I've tried the GNU-official Texi2HTML v5 package too. But since that
doesn't generate any .hhp/.hhc files, I settled on the texi2html.py script.
Anyone know a better way?
Only problem with texi2html.py is that it does not convert these Texi
into sensible HTML tags. Those should perhaps be translated into
<code> or <pre> tags?
And I failed to find any more recent than this:
FYI, I've uploaded the gnulib.chm here:
BTW, .chm-files can also be viewed in the excellent KchmViewer
(on non-Windows too):