Hi,
Sandra Loosemore wrote:
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 note that the 'Top(...)' in <title> already appears in the GCC 8.5
docs (created with Texinfo 6.5; while GCC 7.5, created with texinfo 6.3,
is okay). And the <h1> disappears in the GCC 10.5 doc, created with
Texinfo 7.0dev.
I have no idea why the 'Top(...)' appears with Texinfo 6.5, but the
missing <h1> is because of Texinfo 7.0, cf.
https://git.savannah.gnu.org/cgit/texinfo.git/plain/NEWS
I think it would be useful to remove the 'Top()' in <title> and add the
<h1> in general.
For the GCC website, we might want to set TOP_NODE_UP_URL.
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'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.
(I concur that we should update 7.0dev to 7.0.3 or 7.1 on the server to
have a defined version.)
Thanks,
Tobias
