[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Buggy formatting in gawk.1 man page
From: |
Tommi Vainikainen |
Subject: |
Re: Buggy formatting in gawk.1 man page |
Date: |
Mon, 08 Jun 2009 00:57:42 +0300 |
User-agent: |
Gnus/5.110009 (No Gnus v0.9) Emacs/22.3 (gnu/linux) |
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