[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML info
From: |
Lars Ingebrigtsen |
Subject: |
Re: HTML info |
Date: |
Sun, 26 Dec 2021 12:48:08 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Yuan Fu <casouri@gmail.com> writes:
> 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.
Cool. 😀 I tested it a bit, and it's plenty fast and responsive, so it
looks like a good starting point for implementing the other bits.
> 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.
Yeah, the menus here look a lot better:
https://www.gnu.org/software/emacs/manual/html_mono/elisp.html
Where did that conversion to HTML come from?
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: HTML info, (continued)
- 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, 2021/12/26
- 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 <=
- 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
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Po Lu, 2021/12/24
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/24
- Re: Variable pitch mode line, Po Lu, 2021/12/24