Hello, Currently, makeinfo generates HTML <title> elements that contain a node name. This is good. However, for the top node, emitting the title name is redundant, and should likely be replaced with simply the manual name (since the node name 'Top' is uninteresting).
Specifically, in the example of https://www.aarsen.me/~arsen/gcc/ST/gcc.html/ the HTML title is 'Top (Using the GNU Compiler Collection)' rather than just simply 'Using the GNU Compiler Collection'. This behavior is desirable on all other nodes (e.g. https://www.aarsen.me/~arsen/gcc/ST/gcc.html/Solaris-2-Options.html being titled Solaris 2 Options (Using the GNU Compiler Collection (GCC))) is good. Is there a way to achieve this? TIA, have a lovely day. -- Arsen Arsenović
signature.asc
Description: PGP signature
