Buggy formatting in gawk.1 man page

[Tommi Vainikainen]

Hi,

manual page gawk.1 contains incorrect formatting codes. After saying
"--   Signal the end of options" groff formatting codes cause each
paragraph to be without empty line as paragraph separators.

Here is a patch to fix this:

--- doc/gawk.1.orig     2009-05-28 19:32:20.000000000 +0300
+++ doc/gawk.1  2009-05-28 19:39:10.000000000 +0300
@@ -491,8 +491,8 @@
 .IR "GNU Coding Standards" ,
 these options cause an immediate, successful exit.)
 .TP
-.PD 0
 .B \-\^\-
+.br
 Signal the end of options. This is useful to allow further arguments to the
 \*(AK program itself to start with a \*(lq\-\*(rq.
 This provides consistency with the argument parsing convention used

-- 
Tommi Vainikainen