On 3/1/24 17:29, Sandra Loosemore wrote:
On 3/1/24 08:23, Tobias Burnus wrote:
Aside: Shouldn't all the HTML documents start with a <h1> and <title>
before
the table of content? Currently, it has:
<title>Top (GNU libgomp)</title>
and the body starts with
<h2>Short Table of Contents</h2>
I think this is a bug in the version of texinfo used to produce the HTML
content for the GCC web site. Looking at a recent build of my own using
Texinfo 6.7, I do see
<body lang="en">
<h1 class="settitle" align="center">GNU libgomp</h1>
The manual on the web site says it was produced by "GNU Texinfo 7.0dev".
I poked at this a little and apparently you need to fiddle with the
SHOW_TITLE or NO_TOP_NODE_OUTPUT customization variables in recent
versions of Texinfo in order to get the document title to show up in
HTML output.
https://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html#index-SHOW_005fTITLE
Probably this has to be controlled by a configure check since older
Texinfo versions may barf on unknown options.
I'm not at a good point to fiddle with this myself right now (I'm deep
inside more metadirective/declare variant hacking), also I have no idea
how to re-do the HTML manuals linked from the GCC web site to tweak the
formatting in this way. I'd think that if we were going to do that,
we'd also want to use an official release version of Texinfo instead of
a "dev" snapshot.
-Sandra