From 0e5be8a9432b275dc1b36230af19252face263a3 Mon Sep 17 00:00:00 2001
From: Frank Steffahn <frank.steffahn@stu.uni-kiel.de>
Date: Fri, 27 Aug 2021 21:55:52 +0200
Subject: [PATCH] Fix a code block containing ```rust

This wasn't displayed correctly.
Changing `` ```rust `` to `` ```rust`` made it a code block again,
but the leading space was rendered as-well.
(This may be an issue in mdbook, but I'm not sure.)

This commit changes it to use HTML-syntax in order to get the desired result.
---
 src/rustdoc-internals.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rustdoc-internals.md b/src/rustdoc-internals.md
index 7ae68cc2..2e06d5b1 100644
--- a/src/rustdoc-internals.md
+++ b/src/rustdoc-internals.md
@@ -72,7 +72,7 @@ Here is the list of passes as of <!-- date: 2021-02 --> February 2021:
   flag.
 
 - `check-code-block-syntax` validates syntax inside Rust code blocks
-  (`` ```rust ``)
+  (<code>```rust</code>)
 
 - `check-invalid-html-tags` detects invalid HTML (like an unclosed `<span>`)
   in doc comments.