> From: Gavin Smith <gavinsmith0...@gmail.com> > Date: Tue, 12 Mar 2024 17:31:36 +0000 > Cc: "help-texinfo@gnu.org" <help-texinfo@gnu.org> > > On Tue, Mar 12, 2024 at 01:14:19PM +0100, Arsen Arsenović wrote: > > 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. > > It seems like a good idea, does anybody have any opposition to making > this change?
Before making this change, please look at the manuals posted on the GNU Software pages, and see if any of them really needs this. Or what about reading the manuals on mobile devices? Changing such long-standing behavior just because it looks like "redundant" is not the best idea IME, but if no manuals and no browsers use this, maybe it's not as painful as I fear it could be. (Texinfo succeeded not to change the format of its HTML output for several releases, which is quite an accomplishment, but it sounds like we are again in for a bumpy ride, sigh...)