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) { | |||
321 | w=nwords | 321 | w=nwords |
322 | } else if(match(words[w],"^El$")) { | 322 | } else if(match(words[w],"^El$")) { |
323 | optlist=oldoptlist | 323 | optlist=oldoptlist |
324 | if(!optlist) | ||
325 | add(".PP") | ||
324 | } else if(match(words[w],"^Bk$")) { | 326 | } else if(match(words[w],"^Bk$")) { |
325 | if(match(words[w+1],"-words")) { | 327 | if(match(words[w+1],"-words")) { |
326 | w++ | 328 | w++ |