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
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
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
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
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 characters with whitespace.
---
gcc/doc/extend.texi | 6 +++---
1 file changed,
