[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: automatic menus in HTML with FORMAT_MENU=menu?
From: |
Patrice Dumas |
Subject: |
Re: automatic menus in HTML with FORMAT_MENU=menu? |
Date: |
Sat, 9 Sep 2023 12:30:06 +0200 |
On Wed, Sep 06, 2023 at 02:42:22AM +0100, Gavin Smith wrote:
> On Tue, Sep 05, 2023 at 08:57:06PM +0200, Patrice Dumas wrote:
> > Hello,
> >
> > With @nodedescription used, there are no menus anymore in HTML output
> > even with FORMAT_MENU=menu. What about generating automatically a menu
> > if there is no menu, and there are automatic directions (no explict node
> > directions and association with a sectioning command) in HTML, as is
> > done in Info ?
>
> I think that makes sense - to have the same menus output for HTML and
> Info for FORMAT_MENU=menu.
Should be done in
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=a6f55a610293eadc68a193c39bf0264cfc0bcb6e
--
Pat