From b56da3cc32fee828c352f0bfb1f05e393ca58040 Mon Sep 17 00:00:00 2001
From: Aaron Markham <aaron.s.markham@gmail.com>
Date: Wed, 5 Sep 2018 17:28:00 +0000
Subject: [PATCH] fix render issue on &lt; and &gt;

---
 docs/build_version_doc/AddVersion.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/build_version_doc/AddVersion.py b/docs/build_version_doc/AddVersion.py
index b625a2e1b6a3..9c5ca9d70406 100755
--- a/docs/build_version_doc/AddVersion.py
+++ b/docs/build_version_doc/AddVersion.py
@@ -74,7 +74,8 @@
                     version_tag_mobile.extract()
                 navbar.append(version_str)
                 navbar_mobile.append(version_str_mobile)
-                outstr = str(content).replace('&lt;', '<').replace('&gt;', '>')
+                # The following causes rendering errors in code blocks; refer to #12168
+                #outstr = str(content).replace('&lt;', '<').replace('&gt;', '>')
             # Fix link
             if args.current_version == tag_list[0]:
                 print("Fixing " + os.path.join(path, name))