[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: automatic menus in HTML with FORMAT_MENU=menu?
|
From: |
Gavin Smith |
|
Subject: |
Re: automatic menus in HTML with FORMAT_MENU=menu? |
|
Date: |
Wed, 6 Sep 2023 02:42:22 +0100 |
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.