Re: references to individual options in GCC manual

2018-10-29 Thread Andreas Schwab
On Okt 25 2018, Martin Sebor wrote: > I was also hoping not to have to add @anchor (since some sort > of anchors must already exist for the Index to work), and for The indices use line numbers. Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4B

Re: references to individual options in GCC manual

2018-10-25 Thread Martin Sebor
On 10/25/2018 01:31 AM, Andreas Schwab wrote: On Okt 24 2018, Martin Sebor wrote: 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? You can add an @anchor. Thanks. After adding the @anchor I can us

Re: references to individual options in GCC manual

2018-10-25 Thread Andreas Schwab
On Okt 24 2018, Martin Sebor wrote: > 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? You can add an @anchor. Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8