Re: Nested list spacing issue

[Steffen Nurpmeso <sdaoden@yandex.com>]

Hallo Ingo,

Ingo Schwarze <schwarze@usta.de> wrote:
 |Hi Steffen,
 |
 |Steffen Nurpmeso wrote on Mon, Nov 10, 2014 at 08:03:18PM +0100:
 |> forget about this, this is an issue with mawk(1) which doesn't
 |[...]
 |> Sorry for the noise.
 |
 |Well, i didn't look at the mawk(1) issue, but your bug report

Well _i_ think that if mawk(1) optimizes 'print >> NAME' by
creating some kind of file object but then if i use 'getline <
NAME' it should look wether it did so for NAME and fflush(3) that
cache automatically, since fflush("") isn't portable awk.  But
even if, imho.  Let's see what Thomas Dickey says.

 |with respect to mandoc(1) is valid in any case, and i have fixed it.
 |
 |> I'm sure it's known
 |
 |This bug was not known, thanks for reporting.

Great this nudged for an audit that actually had some outcome.

Nonetheless way too hasty; still: all awks worked equally well in
first place, so i didn't even spend a thought on that a growth of
the manual page that was used for testing correlated with the
mawk(1) I/O buffer size and a missing automatic fflush("") and
finally resulted in a premature EOF of the mdoc(7) documented what
finally was presented to mandoc(1).
Ciao,

--steffen
--
 To unsubscribe send an email to tech+unsubscribe@mdocml.bsd.lv