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('<', '<').replace('>', '>') + # The following causes rendering errors in code blocks; refer to #12168 + #outstr = str(content).replace('<', '<').replace('>', '>') # Fix link if args.current_version == tag_list[0]: print("Fixing " + os.path.join(path, name))