merged OpenSSH 4.2p1 to trunk

[gssapi-openssh.git] / openssh / mdoc2man.awk

diff --git a/openssh/mdoc2man.awk b/openssh/mdoc2man.awk
index 4e72cdc1c2a34f1507cba5d5456acc1ab24bcfff..d6eaf460154e115756cff1d685c40bfec1e7b77c 100644 (file)
--- a/openssh/mdoc2man.awk
+++ b/openssh/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$")) {