diff options
| author | Colin Watson <cjwatson@debian.org> | 2016-12-20 00:22:53 +0000 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2016-12-23 19:08:35 +0000 |
| commit | ee52365e713e546dbd878d73d9590dbaccd760ba (patch) | |
| tree | 841d0d9ae73e83070bcc3b46218ebdd18142dda3 /mdoc2man.awk | |
| parent | 8a4a5c22e363ad6a110ad9b787170297f5da8f04 (diff) | |
| parent | 2103d3e5566c54e08a59be750579a249e46747d7 (diff) | |
New upstream release (7.4p1).
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++ |