diff options
Diffstat (limited to 'mdoc2man.awk')
| -rw-r--r-- | mdoc2man.awk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mdoc2man.awk b/mdoc2man.awk index 80e8d5ffa..3e8725452 100644 --- a/mdoc2man.awk +++ b/mdoc2man.awk @@ -321,6 +321,8 @@ function add(str) { w=nwords } else if(match(words[w],"^El$")) { optlist=oldoptlist + if(!optlist) + add(".PP") } else if(match(words[w],"^Bk$")) { if(match(words[w+1],"-words")) { w++ |