From 2666ed6c5bb1ba672ed1132737cf8e0870e2e9e9 Mon Sep 17 00:00:00 2001 From: Alex Macleod Date: Sun, 20 Oct 2024 19:02:40 +0000 Subject: [PATCH] Fix indentation of website code snippets --- clippy_config/src/conf.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/clippy_config/src/conf.rs b/clippy_config/src/conf.rs index 4757c0b1339a7..64032ccdad2c3 100644 --- a/clippy_config/src/conf.rs +++ b/clippy_config/src/conf.rs @@ -102,7 +102,9 @@ pub fn sanitize_explanation(raw_docs: &str) -> String { // Remove tags and hidden code: let mut explanation = String::with_capacity(128); let mut in_code = false; - for line in raw_docs.lines().map(str::trim) { + for line in raw_docs.lines() { + let line = line.strip_prefix(' ').unwrap_or(line); + if let Some(lang) = line.strip_prefix("```") { let tag = lang.split_once(',').map_or(lang, |(left, _)| left); if !in_code && matches!(tag, "" | "rust" | "ignore" | "should_panic" | "no_run" | "compile_fail") {