diff options
Diffstat (limited to 'dev_tools/src/bin')
| -rw-r--r-- | dev_tools/src/bin/refresh-docs.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev_tools/src/bin/refresh-docs.rs b/dev_tools/src/bin/refresh-docs.rs index 23619dc..ffa80a2 100644 --- a/dev_tools/src/bin/refresh-docs.rs +++ b/dev_tools/src/bin/refresh-docs.rs @@ -10,20 +10,9 @@ 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(); |
