Thanks Patrice,
menu option does what I need. Then I have the menu only when I define it
in the documentation source.
So, it still shows up in the linked example below. The issue with the
default option of html rendering is that you get menu even when not
requested and it can pop up in the middle of your documentation,
depending on how your write documentation in the section.
I prefer the way the menu is rendered with sectiontoc option, though,
with ul and li tags instead of table. But it will be fine.
Hilaire
Le 30/12/2023 à 18:38, Patrice Dumas a écrit :
How the 'menus' are formatted depend on FORMAT_MENU customization
variable, which is now 'sectiontoc' by default. It is possible to get
back to menu, by setting FORMAT_MENU to menu. From the command line:
texi2any --html -c FORMAT_MENU=menu manual.texi
or remove completly any type of menu by setting FORMAT_MENU to nomenu:
texi2any --html -c FORMAT_MENU=nomenu manual.texi
But it is not clear to me that it is what you want, as it seems to me
that a mini-toc or a menu is needed in some cases for navigation, as in
the following page:
https://cuis-smalltalk.github.io/TheCuisBook/The-Fundamentals-of-Morph.html
--
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/