diff options
Diffstat (limited to 'mdoc2man.awk')
-rw-r--r-- | mdoc2man.awk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mdoc2man.awk b/mdoc2man.awk index 9d1126769..80e8d5ffa 100644 --- a/mdoc2man.awk +++ b/mdoc2man.awk | |||
@@ -1,6 +1,6 @@ | |||
1 | #!/usr/bin/awk | 1 | #!/usr/bin/awk |
2 | # | 2 | # |
3 | # $Id: mdoc2man.awk,v 1.8 2007/06/05 10:01:16 dtucker Exp $ | 3 | # $Id: mdoc2man.awk,v 1.9 2009/10/24 00:52:42 dtucker Exp $ |
4 | # | 4 | # |
5 | # Version history: | 5 | # Version history: |
6 | # v4+ Adapted for OpenSSH Portable (see cvs Id and history) | 6 | # v4+ Adapted for OpenSSH Portable (see cvs Id and history) |
@@ -149,6 +149,9 @@ function add(str) { | |||
149 | } else if(match(words[w],"^Dt$")) { | 149 | } else if(match(words[w],"^Dt$")) { |
150 | id=wtail() | 150 | id=wtail() |
151 | next | 151 | next |
152 | } else if(match(words[w],"^Ux$")) { | ||
153 | add("UNIX") | ||
154 | skip=1 | ||
152 | } else if(match(words[w],"^Ox$")) { | 155 | } else if(match(words[w],"^Ox$")) { |
153 | add("OpenBSD") | 156 | add("OpenBSD") |
154 | skip=1 | 157 | skip=1 |