[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] Visible HTML anchors for options?
From: |
Eli Zaretskii |
Subject: |
Re: [help-texinfo] Visible HTML anchors for options? |
Date: |
Fri, 15 Feb 2019 09:25:24 +0200 |
> 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’s optimizations to provide a safe compilation for
> live-patching.
> </p>
Why not use @anchor and @xref? Those should produce visible links.