X-Git-Url: http://andersk.mit.edu/gitweb/gssapi-openssh.git/blobdiff_plain/7e82606eb98e6071e4ad650b91a75933c1358485..ea18de5d8ee46a07fbabb7baf5c5b8061ea95c6d:/openssh/mdoc2man.awk

diff --git a/openssh/mdoc2man.awk b/openssh/mdoc2man.awk
index 4e72cdc..d6eaf46 100644
--- 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$")) {