Hi Eli, [my apologies - I did not use a wide reply, so I am reposting this. sorry for the inconvenience]
Eli Zaretskii <e...@gnu.org> 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ć
