Re: [PATCH] rs6000: Fix extraneous characters in the documentation

2020-10-23 Thread Segher Boessenkool
On Wed, Aug 19, 2020 at 04:03:31PM -0300, Tulio Magno Quites Machado Filho via Gcc-patches wrote: > Replace them with a whitespace in order to avoid artifacts in the HTML > document. Pushed to trunk now. Thanks! Segher

Re: [PATCH] rs6000: Fix extraneous characters in the documentation

2020-10-07 Thread Segher Boessenkool
Hi! On Wed, Aug 19, 2020 at 04:03:31PM -0300, Tulio Magno Quites Machado Filho via Gcc-patches wrote: > Replace them with a whitespace in order to avoid artifacts in the HTML > document. Multiple whitespaces in texinfo are supposed to work correctly, and are good to have for various reasons (mor

Re: [PATCH] rs6000: Fix extraneous characters in the documentation

2020-10-06 Thread will schmidt via Gcc-patches
On Mon, 2020-10-05 at 17:23 -0300, Tulio Magno Quites Machado Filho via Gcc-patches wrote: > Ping? +cc Segher :-) > > Tulio Magno Quites Machado Filho via Gcc-patches > writes: > > > Replace them with a whitespace in order to avoid artifacts in the HTML > > document. > > > > 2020-08-19 Tul

Re: [PATCH] rs6000: Fix extraneous characters in the documentation

2020-10-05 Thread Tulio Magno Quites Machado Filho via Gcc-patches
Ping? Tulio Magno Quites Machado Filho via Gcc-patches writes: > Replace them with a whitespace in order to avoid artifacts in the HTML > document. > > 2020-08-19 Tulio Magno Quites Machado Filho > > gcc/ > * doc/extend.texi (PowerPC Built-in Functions): Replace > extraneous char