| commit | 9768ca48f57aaf035f508a473421d210b5145e99 | [log] [tgz] |
|---|---|---|
| author | Greg Hartman <ghartman@google.com> | Thu Jun 22 20:49:52 2017 -0700 |
| committer | Greg Hartman <ghartman@google.com> | Fri Jun 23 15:44:15 2017 -0700 |
| tree | c2ba282fc91c65b4abbf688efbd6f09f467601da | |
| parent | 7b5a7c1b3bb341c2ce7fa7d6386d4204680a92e4 [diff] [blame] |
Merge openssh 7.5p1 BUG: 35443510 Change-Id: I2558fb80234e145c13ccb7a51859f2a5fd2e0324
diff --git a/mdoc2man.awk b/mdoc2man.awk index 80e8d5f..3e87254 100644 --- a/mdoc2man.awk +++ b/mdoc2man.awk
@@ -321,6 +321,8 @@ 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++