Re: How to avoid mini toc in HTML output

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/