HTML <title> node names: Not emitting 'Top (Manual name)'

Arsen Arsenović <[email protected]> Tue, 12 Mar 2024 13:14:19 +0100

Newsgroups	gmane.comp.tex.texinfo.general
Message-ID	<[email protected]>

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 (application/pgp-signature, 251 B)