[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
gnulib Compressed HTML help
From: |
Gisle Vanem |
Subject: |
gnulib Compressed HTML help |
Date: |
Sun, 29 Oct 2017 15:23:44 +0100 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 |
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
- gnulib Compressed HTML help,
Gisle Vanem <=