Re: ICONS customize variable

[Gavin Smith]

On Sun, Dec 20, 2020 at 8:31 PM Hilaire Fernandes <hilaire@drgeo.eu> wrote:
>
> Hello,
>
> I set this variable to true, but it does not insert icons in the
> navigation bar. There is no error though and the html source does not
> show difference in the navigation part.
>
> texi2any -c ICONS=true -I $imgPath --output=$htmlDest/ --html
> --css-ref=style.css  $masterDoc
>
> texinfo 6.7.0
>
> Thanks

I'm not aware of any icon images in the Texinfo package for this:
perhaps it is part of some unfinished plan or needs you to implement
something through the (undocumented) configuration API.