From cbf9d492b9a60c7267907731941d14ec96510681 Mon Sep 17 00:00:00 2001
From: Cameron Steffen <cam.steffen94@gmail.com>
Date: Tue, 26 Jan 2021 17:38:37 -0600
Subject: [PATCH] Fix some website syntax highlighting
---
util/export.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
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)