On Sat, Nov 19, 2022 at 06:01:14PM +0100, Patrice Dumas wrote: > Hello, > > I find the colon produced between index entries and nodes/sections in > printindex HTML formatting to be quite ugly, and uneeded, as the table > is already providing the structure. Is it only me? > > What about setting it to '' in the default case? > > (It is alreadu '' in the texi2html style).
I think that makes sense. We could change INDEX_ENTRY_COLON to '' and leave MENU_ENTRY_COLON as ':'. The latter is not used so much now that menus are not output in HTML output by default.
