Re: question about GCC Wiki

2017-07-29 Thread Martin Sebor
On 07/29/2017 07:37 AM, Segher Boessenkool wrote: On Mon, Jul 24, 2017 at 01:08:35PM -0600, Martin Sebor wrote: ...or more precisely, about MoinMoin hyperlink formatting. I'd like to insert hyperlinks to anchors in the GCC HTML manual on some Wiki pages. Specifically, I'd like to be able to

Re: question about GCC Wiki

2017-07-29 Thread Segher Boessenkool
On Mon, Jul 24, 2017 at 01:08:35PM -0600, Martin Sebor wrote: > ...or more precisely, about MoinMoin hyperlink formatting. > > I'd like to insert hyperlinks to anchors in the GCC HTML manual > on some Wiki pages. Specifically, I'd like to be able to link > to the description of a command line

question about GCC Wiki

2017-07-24 Thread Martin Sebor
...or more precisely, about MoinMoin hyperlink formatting. I'd like to insert hyperlinks to anchors in the GCC HTML manual on some Wiki pages. Specifically, I'd like to be able to link to the description of a command line option or an attribute, and I'd also like to render the text of the link