Re: Buggy formatting in gawk.1 man page

[Aharon Robbins]

Yes, I understand that.  In a "standard" man page where all the options
are short, they would normally all be formatted as

        -x      Stuff here. Stuff here. Stuff here.
                Stuff here. Stuff here. Stuff here.

It is only because I have to document both long and short options that
I get the current formatting.

But I'll take a look at how it comes out with the .br and see whether or
not I like the aesthetics.

In any case, it was a very long-standing bug, so I'm very glad to get it
fixed.

Thanks!

Arnold

> From: Tommi Vainikainen <address@hidden>
> To: Aharon Robbins <address@hidden>
> Cc: address@hidden
> Subject: Re: Buggy formatting in gawk.1 man page
> Date: Mon, 08 Jun 2009 00:57:42 +0300
> Content-Type: text/plain; charset=us-ascii
>
> 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
>