Hello Arnold, hello all, Le 14/10/2024 à 05:40, [email protected] a écrit :
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
Thanks for your prompt answer. I understand your point, but there may be a way to reconcile HTML (+ CSS) with non-HTML outputs: use @kbd for the dashed line so it doesn't get converted to '&mdash' and '–'. In this new version of the patch, I kept the narrower columns of the original version to make sure the table will fit in the width that gnulib/manual.css specifies for <body>. I also kept the fix for a nested <dl> list of section 17.4.3. Hope it works... Best, Thérèse
gawk.1.texi.diff.gz
Description: application/gzip
