From 4a52b78e4287ac29f4c32f611c7c5e54cba67c3f Mon Sep 17 00:00:00 2001
From: Dieter Plaetinck <dieter@plaetinck.be>
Date: Sat, 7 Aug 2010 22:31:31 +0200
Subject: 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
---
 make-doc.sh | 4 ++++
 1 file changed, 4 insertions(+)

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..."
-- 
cgit v1.2.3-54-g00ecf