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
(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
commands:
@env{foo}
@option{foo}
@command{foo}
into sensible HTML tags. Those should perhaps be translated into
<code> or <pre> tags?
And I failed to find any more recent than this:
https://svn.python.org/projects/python/trunk/Tools/scripts/texi2html.py
FYI, I've uploaded the gnulib.chm here:
http://www.watt-32.net/misc/gnulib.chm
BTW, .chm-files can also be viewed in the excellent KchmViewer
(on non-Windows too):
http://www.ulduzsoft.com/linux/kchmviewer/getting-kchmviewer/
https://sourceforge.net/projects/kchmviewer/files/kchmviewer/7.7/
--
--gv
