Re: [help-texinfo] Visible HTML anchors for options?

[Eli Zaretskii]

> From: David Malcolm <address@hidden>
> Date: Thu, 14 Feb 2019 17:26:59 -0500
> 
> I'm a GCC developer; we use texinfo for our documentation.
> 
> GCC has a lot of options, so it's very useful to be able to provide
> users with URLs to *specific* options in our documentation.
> 
> For a long time I didn't think texinfo's HTML generator provided
> anchors for these, but using "View Source" shows it does.
> 
> For example, this .texi input:
> 
> @item address@hidden
> @opindex flive-patching
> Control GCC's optimizations to provide a safe compilation for live-
> patching.
> 
> provides this HTML:
> 
> <dt><code>-flive-patching=<var>level</var></code></dt>
> <dd><a name="index-flive-patching"></a>
> <p>Control GCC&rsquo;s optimizations to provide a safe compilation for
> live-patching.
> </p>

Why not use @anchor and @xref?  Those should produce visible links.