[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML info
From: |
Yuan Fu |
Subject: |
Re: HTML info |
Date: |
Sun, 26 Dec 2021 01:50:50 -0800 |
> On Dec 25, 2021, at 10:01 AM, Juri Linkov <juri@linkov.net> wrote:
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
>> I think a new package would be cleaner. It can always borrow ideas
>> and even code from info*.el, as appropriate.
>
> Lars Ingebrigtsen <larsi@gnus.org> writes:
>
>>> 3. Completely duplicate all top Info commands in a new package
>>> info-html.el.
>>
>> I think that's best.
>
> Fine. Anyone wants to write such a package? It would be nice to
> include it in the core to be able to display Emacs manuals with
> variable pitch fonts.
I don’t claim to be seriously working on it, but here is a POC, I didn’t try to
plug it into (dir), the only entry point right now is html-info-lispref which
will open the lisp reference at /doc/lispref/elisp.html. You can click around
and go next/prev/up but there is no i/[/]/r/l/etc.
One thing I noticed is that the HTML Info files lack a nice top level menu. The
HTML Top only has a (very) long TOC and a short TOC. The TOC's only include the
node name and leave out the short description.
I’m on a Mac which is case-insensitive, and my texinfo still have the bug where
it drops index.html when merging Index.html and index.html. So I can’t test
multi-file manual’s Top node (it’s in index.html). Besides that, single-file
and multi-file seem to both work fine.
Yuan
html-info.el
Description: Binary data
- Re: Variable pitch mode line, (continued)
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Stefan Monnier, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- HTML info, Yuan Fu, 2021/12/23
- Re: HTML info, Juri Linkov, 2021/12/24
- Re: HTML info, Eli Zaretskii, 2021/12/24
- Re: HTML info, Lars Ingebrigtsen, 2021/12/24
- Re: HTML info, Po Lu, 2021/12/24
- RE: [External] : Re: HTML info, Drew Adams, 2021/12/24
- Re: HTML info, Juri Linkov, 2021/12/25
- Re: HTML info,
Yuan Fu <=
- Re: HTML info, Eli Zaretskii, 2021/12/26
- Re: HTML info, Juri Linkov, 2021/12/26
- Re: HTML info, Juri Linkov, 2021/12/27
- Re: HTML info, Lars Ingebrigtsen, 2021/12/26
- Re: HTML info, Eli Zaretskii, 2021/12/26
- Re: HTML info, Lars Ingebrigtsen, 2021/12/26
- Re: HTML info, Eli Zaretskii, 2021/12/26
- Re: Variable pitch mode line, Juri Linkov, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24