diff options
| -rwxr-xr-x | doc/mdoc2mediawiki.awk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/mdoc2mediawiki.awk b/doc/mdoc2mediawiki.awk index 22a036f6..fceb6286 100755 --- a/doc/mdoc2mediawiki.awk +++ b/doc/mdoc2mediawiki.awk @@ -270,6 +270,8 @@ function splitwords(l, dest, n, o, w) { add("'''" words[w] "'''" " ") } else add(words[w]) + l = wtail() + add(l " ") } else if(match(words[w],"^Op$")) { addopen("<nowiki>[</nowiki>") option=1 |