Hello. Please send any further HTML issues directly to the Texinfo people (cc'ed). I simply use the currently released version of makeinfo to format the documents.
Your patch, unfortunately, is not correct, as it ends up putting regular text into @code even for non-HTML outputs, so I cannot apply it. I will look at revising that part of the manual to use @multitable; it predates the existence of that Texinfo feature. Thanks, Arnold Thérèse Godefroy <[email protected]> wrote: > Hello, > > I found 2 more bugs in the HTML version of the Gawk manual: > > #1 - A dl list in Section 17.4.3 isn't closed properly. The result is > shown in the top screenshot of Fig.1 (attached). The bottom part shows > the same page after fixing. > > #2 - Tables 9.1 to 9.4 look crooked in Firefox without CSS, because > @code is displayed in monospace while the rest is treated as normal text > (sans-serif in my case). And even after forcing monospace for the whole > table with CSS, the horizontal lines are still wrong because makeinfo > converts minus signs to a series of 'mdash;' and 'ndash;'. > > I fixed gawk.texi so that Tables 9.1 to 9.4 doen't contain any more > normal text. In Fig.2 (attached), both versions of Table 9.3 are in the > same file: first the original table, then the fixed table. To save > horizontal space, I reduced the space between columns, and changed > 'followed by the matched text' to 'then the matched text, as in Table > 9.4. > > The attached patch is against the latest git version of gawk.texi. > > All the best, > Thérèse
