references to individual options in GCC manual

[Martin Sebor <msebor at gmail dot com>]

Is there a way to include a reference to a specific option
from within a .info file rather than to the section/node
the option is defined in?

It's cumbersome to use @xref and similar commands, and it's
less not as helpful to point the reader to an entire section
when referring to a specific item/option in that section.
Since each option has its own anchor in the HTML manual,
it seems that it should be possible.

As an example, the aligned attribute is described like so:

  aligned (alignment)

    This attribute specifies a minimum alignment for the function,
    measured in bytes.

    You cannot use this attribute to decrease the alignment of
    a function, only to increase it. However, when you explicitly
    specify a function alignment this overrides the effect of
    the -falign-functions (see Optimize Options) option for this
    function.

In both the HTML and PDF manuals, the phrase "Optimize Options"
is a hyperlink to the beginning of the named section, even though
the reader that follows it is expected (and will want to) read
about -falign-functions.

Martin