Re: Buggy formatting in gawk.1 man page

[Tommi Vainikainen]

Aharon Robbins <address@hidden> writes:
> Hi. THANK YOU for this bug report. I had noticed this problem but didn't
> know why it was happening.  It turns out to be enough to remove the .PD 0
> to get the correct formatting and visual effect that I want.  I will
> get this into the CVS.

Please take a look of consistency of other parameter formatting. IMHO it
looks inconsistent unless you also add .br.

Without .br it looks like this:

 -x
 --long-xxx
    Description here

 -- Signal the end of options. ...

But with .br it looks like this:

 -x
 --long-xxx
    Description here

 --
    Signal the end of options. ...

Thus without .br this "--" Signal the end of options would be only place
where description is on the same line with the option itself.

However, I admit that this can be a matter of style.

-- 
Tommi Vainikainen