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 (more readable, and agrees to our coding conventions, and it agrees to texinfo's output, too!) But as Will says, there seem the be non-breaking space here, instead? 0000000: 3e20 2d62 656c 6f77 2069 7320 6465 6669 > -below is defi 0000010: 6e65 6420 746f 2062 6520 6120 6e6f 726d ned to be a norm 0000020: 616c 2076 6563 746f 7220 756e 7369 676e al vector unsign 0000030: 6564 2063 6861 7220 7479 7065 2ec2 a020 ed char type... 0000040: 5468 6520 7569 6e74 322c 2075 696e 7434 The uint2, uint4 0000050: 0a . 0000000: 3e20 2b62 656c 6f77 2069 7320 6465 6669 > +below is defi 0000010: 6e65 6420 746f 2062 6520 6120 6e6f 726d ned to be a norm 0000020: 616c 2076 6563 746f 7220 756e 7369 676e al vector unsign 0000030: 6564 2063 6861 7220 7479 7065 2e20 2054 ed char type. T 0000040: 6865 2075 696e 7432 2c20 7569 6e74 340a he uint2, uint4. Yeah, utf8 c2 a0, aka u+00a0. Replacing that with an actual space is of course okay (and trivial and obvious). Thanks! (Bonus points if you do all of doc/*.texi :-) ) Segher
