Auto merge of #6645 - camsteffen:syntax-highlighting, r=phansch

Fix website syntax highlighting

changelog: none

Fix syntax highlighting on website when the docs contain ` ```rust,ignore`

1 files changed, 4 insertions, 1 deletions

diff --git a/util/export.py b/util/export.py
index 5d1bd60acf3..1248e6b6a26 100755
--- a/util/export.py
+++ b/util/export.py
@@ -22,7 +22,10 @@ def parse_code_block(match):
     lines = []
 
     for line in match.group(0).split('\n'):
-        if not line.startswith('# '):
+        # fix syntax highlighting for headers like ```rust,ignore
+        if line.startswith('```rust'):
+            lines.append('```rust')
+        elif not line.startswith('# '):
             lines.append(line)
 
     return '\n'.join(lines)