turn code markup into a syntax that mediawiki understands

<pre><code></code></pre> puts '<code></code>' in the rendered block
<code><pre></pre></code> and <pre></pre> seem to be work fine, so we use
the latter.
<code></code> seems not understood by mediawiki at all. at least it's
rendered incorrectly.

fixes FS#19640

1 files changed, 4 insertions, 0 deletions

diff --git a/make-doc.sh b/make-doc.sh
index 2bfd4c9..4e6c5a2 100755
--- a/make-doc.sh
+++ b/make-doc.sh
@@ -7,6 +7,10 @@ do
 	echo $i
 	# convert markdown to html, convert html links to wiki ones.
 	cat $i | markdown | sed 's|<a href="\([^"]*\)"[^>]*>\([^<]*\)</a>|[\1 \2]|g' > $i.html
+	# turn code markup into a syntax that mediawiki understands
+	sed -i 's#<pre><code>#<pre>#g' $i.html
+	sed -i 's#</code></pre>#</pre>#g' $i.html
+
 done
 
 echo "adding special wiki thingies..."