[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
automatic menus in HTML with FORMAT_MENU=menu?
|
From: |
Patrice Dumas |
|
Subject: |
automatic menus in HTML with FORMAT_MENU=menu? |
|
Date: |
Tue, 5 Sep 2023 20:57:06 +0200 |
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 ?
--
Pat
- automatic menus in HTML with FORMAT_MENU=menu?,
Patrice Dumas <=