From a9ffd9428597396133c3c77d98bf28db972d9496 Mon Sep 17 00:00:00 2001 From: 魏曹先生 <1992414357@qq.com> Date: Mon, 18 May 2026 14:26:59 +0800 Subject: Copy README to mingling directory on doc refresh --- dev_tools/src/bin/refresh-docs.rs | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'dev_tools') diff --git a/dev_tools/src/bin/refresh-docs.rs b/dev_tools/src/bin/refresh-docs.rs index ffa80a2..23619dc 100644 --- a/dev_tools/src/bin/refresh-docs.rs +++ b/dev_tools/src/bin/refresh-docs.rs @@ -10,9 +10,20 @@ const OUTPUT_PATH: &str = "./mingling/src/example_docs.rs"; const TEMPLATE_CONTENT: &str = include_str!("../../../mingling/src/example_docs.rs.tmpl"); fn main() { + copy_readme(); gen_example_doc_module(); } +fn copy_readme() { + let repo_root = find_git_repo().unwrap(); + let src = repo_root.join("README.md"); + let dst = repo_root.join("./mingling/README.md"); + if src.exists() { + std::fs::copy(&src, &dst).unwrap(); + println_cargo_style!("Copied: copied README.md to mingling/README.md"); + } +} + fn gen_example_doc_module() { let mut template = Template::from(TEMPLATE_CONTENT); let repo_root = find_git_repo().unwrap(); -- cgit