I understand the issue now. I had not seen the screenshots you sent. It seems like a good idea to change it but I'd like to look into the issue more.
On Wed, 21 Nov 2018, 21:20 Akim Demaille <akim.demai...@gmail.com wrote: > Hi Gavin! > > Sorry for the delays… > > > Le 12 nov. 2018 à 21:28, Gavin Smith <gavinsmith0...@gmail.com> a écrit > : > > > > On Sun, Nov 11, 2018 at 06:41:02PM +0100, Akim Demaille wrote: > >> Hi! > >> > >> I was searching about conflicts in Bison on the web, and saw this: > >> > >> > >> > >> « Understanding » is quite not a nice title, so I clicked to check, and > got this: > >> > > > > Where did you see « Understanding »? > > I saw it on the Google’s page, as was represented in the screen capture I > sent. Right now, on « bison conflicts », I get: > > Understanding (Bison 3.2.1) - GNU.org > www.gnu.org/s/bison/manual/html_node/Understanding.html > As documented elsewhere (see The Bison Parser Algorithm) Bison parsers are > ... useless: STR; ^^^^^^^ calc.y: warning: 7 shift/reduce conflicts > [-Wconflicts-sr]. > > > > >> Is there a means to use the section name rather that the node name in > the generated HTML? It???s quite common to have a very short node name, > but a fully blown section name, so the latter seems more appropriate to me. > >> > >> Even in Texinfo???s own documentation, you have for instance the title > « One argument », which hardly makes sense alone: > >> > >> > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/One-Argument.html > >> > >> but the page is > >> > >> 6.4.1 @xref with One Argument > > > > The URL of the page has to follow the node name so that other pages can > > link to it. > > Sorry for not being clear: I was not referring in any way to the URL, I’m > talking about the <title></title> of the page. > > > I see on > > > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/_0040xref.html#g_t_0040xref > > the link to the page is labelled "One argument" - is that the kind of > > thing you think could change? > > > > There is the "@xrefautomaticsectiontitle on" option, which may give some > > of what you are looking for. > > That’s a nice feature I was unaware of, thanks! But that’s not my point. > I’m claiming that the name of the section would be a better <title> than > the node name. > > Cheers!
