From 38db623bb893ad76fb810219a4f6229e012febf7 Mon Sep 17 00:00:00 2001
From: 魏曹先生 <1992414357@qq.com>
Date: Sat, 11 Apr 2026 22:35:18 +0800
Subject: Fix example doc comment indentation and header trimming

---
 dev_tools/src/bin/refresh-examples.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev_tools/src/bin')

diff --git a/dev_tools/src/bin/refresh-examples.rs b/dev_tools/src/bin/refresh-examples.rs
index 9fdc7b5..c341bc4 100644
--- a/dev_tools/src/bin/refresh-examples.rs
+++ b/dev_tools/src/bin/refresh-examples.rs
@@ -61,7 +61,7 @@ impl ExampleContent {
         // Collect header lines (starting with //!)
         while let Some(line) = lines.next() {
             if line.trim_start().starts_with("//!") {
-                let trimmed = line.trim_start_matches("//!").trim();
+                let trimmed = line.trim_start_matches("//!");
                 header.push_str(trimmed);
                 header.push('\n');
             } else {
-- 
cgit