Use proper format for bold in mediawiki.

SVN-Revision: 4221

diff --git a/doc/mdoc2mediawiki.awk b/doc/mdoc2mediawiki.awk
index 508712f2d87e8f0a37fbc54309f467fad1293880..a0ecc167c0e79905c88d0b20856d59ecf72ab812 100755 (executable)
--- a/doc/mdoc2mediawiki.awk
+++ b/doc/mdoc2mediawiki.awk
@@ -401,9 +401,9 @@ function splitwords(l, dest, n, o, w) {
          # Suppress trailer
          w++
        } else if(match(words[w+1],"^Pa$|^Ev$")) {
-         addopen("*")
+         addopen("'''")
          w++
-         add(words[++w] "*")
+         add(words[++w] "'''")
        } else {
          trailer = listnext[listdepth] "<dd>" trailer
          listnext[listdepth] = "</dd>"