From a86cb2c621e60a6e928744db1e25601a77710d94 Mon Sep 17 00:00:00 2001 From: Weicao-CatilGrass <1992414357@qq.com> Date: Mon, 8 Jun 2026 20:49:05 +0800 Subject: Filter example directories by prefix --- dev_tools/src/bin/refresh-docs.rs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'dev_tools/src') diff --git a/dev_tools/src/bin/refresh-docs.rs b/dev_tools/src/bin/refresh-docs.rs index 71143d1..82ef906 100644 --- a/dev_tools/src/bin/refresh-docs.rs +++ b/dev_tools/src/bin/refresh-docs.rs @@ -24,6 +24,10 @@ fn gen_example_doc_module() { && file_type.is_dir() { let example_name = entry.file_name().to_string_lossy().to_string(); + // Ignore directories that don't start with "example-" + if !example_name.starts_with("example-") { + continue; + } let example_content = ExampleContent::read(&example_name); examples.push(example_content); } -- cgit