diff options
Diffstat (limited to 'mdoc2man.awk')
| -rw-r--r-- | mdoc2man.awk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mdoc2man.awk b/mdoc2man.awk index 4e72cdc1..d6eaf460 100644 --- a/mdoc2man.awk +++ b/mdoc2man.awk @@ -140,6 +140,9 @@ function add(str) { } else if(match(words[w],"^Dt$")) { id=wtail() next + } else if(match(words[w],"^Ox$")) { + add("OpenBSD") + skip=1 } else if(match(words[w],"^Os$")) { add(".TH " id " \"" date "\" \"" wtail() "\"") } else if(match(words[w],"^Sh$")) { |