> From: David Malcolm <[email protected]> > 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 -flive-patching=@var{level} > @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’s optimizations to provide a safe compilation for > live-patching. > </p>
Why not use @anchor and @xref? Those should produce visible links.
