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

Hi Eli,

[my apologies - I did not use a wide reply, so I am reposting this.
 sorry for the inconvenience]

Eli Zaretskii <[email protected]> writes:

> Before making this change, please look at the manuals posted on the
> GNU Software pages, and see if any of them really needs this.

Note that this change request originated from inside the project.
Tobias Burnus asked about it in the context of GCC.  I imagine any
Texinfo manual (broader than just GNU.org/s/) would benefit (or at least
not lose anything) also.  I'm not sure I see a downside.

> Or what about reading the manuals on mobile devices?

I see very little difference there - the 'Top' node wouldn't be denoted
explicitly in a page title, which might even make the title more useful
on small devices.  The context of concern originally was in search
engine results as well as tab bar contents, where, for the 'Top' node in
particular, 'Top' would just obstruct the real manual name.

> 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.

Note that this behavior has been here since GNU Texinfo 6.4, and is
generally good.  I am only proposing altering the 'Top' node (usually,
index.html).

> (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...)

Has it not?  There's a version number in each emitted page, and
somewhere in the texinfo-7 series the HTML output changed slightly also.

TIA, have a lovely day.
-- 
Arsen Arsenović