aboutsummaryrefslogtreecommitdiff
path: root/dev_tools
diff options
context:
space:
mode:
Diffstat (limited to 'dev_tools')
-rw-r--r--dev_tools/src/bin/refresh-docs.rs11
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();