Copy README to mingling directory on doc refresh

1 files changed, 11 insertions, 0 deletions

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();