diff options
| -rw-r--r-- | dev_tools/src/bin/refresh-docs.rs (renamed from dev_tools/src/bin/refresh-examples.rs) | 13 | ||||
| -rw-r--r-- | run-tools.ps1 | 2 | ||||
| -rwxr-xr-x | run-tools.sh | 2 |
3 files changed, 12 insertions, 5 deletions
diff --git a/dev_tools/src/bin/refresh-examples.rs b/dev_tools/src/bin/refresh-docs.rs index 08ecf90..ae6753a 100644 --- a/dev_tools/src/bin/refresh-examples.rs +++ b/dev_tools/src/bin/refresh-docs.rs @@ -12,8 +12,14 @@ const README_CONTENT: &str = include_str!("../../../README.md"); const TEMPLATE_CONTENT: &str = include_str!("../../../mingling/src/example_docs.rs.tmpl"); fn main() { - gen_example_doc_module(); - gen_docs_readme(); + { + println!("Refreshing Examples"); + gen_example_doc_module(); + } + { + println!("Refreshing README.md"); + gen_docs_readme(); + } } fn gen_example_doc_module() { @@ -40,10 +46,11 @@ fn gen_example_doc_module() { example_header = example.header, example_import = example.cargo_toml, example_code = example.code, - example_name = snake_case!(example.name) + example_name = snake_case!(&example.name) ) } }); + println!(" Refresh: {}", example.name.to_string()); } let template_str = template.to_string(); diff --git a/run-tools.ps1 b/run-tools.ps1 index 43e39d8..5aaa785 100644 --- a/run-tools.ps1 +++ b/run-tools.ps1 @@ -32,7 +32,7 @@ $rust_file = "dev_tools/src/bin/${target_name}.rs" if (Test-Path $script_file) { & $script_file } elseif (Test-Path $rust_file) { - cargo run --manifest-path dev_tools/Cargo.toml --bin $target_name + cargo run --manifest-path dev_tools/Cargo.toml --bin $target_name --quiet } else { Write-Host "Error: target '$target_name' does not exist as a script or Rust program" exit 1 diff --git a/run-tools.sh b/run-tools.sh index c0c2c4a..8faf80f 100755 --- a/run-tools.sh +++ b/run-tools.sh @@ -29,7 +29,7 @@ if [ -f "$target_script" ]; then chmod +x "$target_script" "$target_script" elif [ -f "$target_file" ]; then - cargo run --manifest-path dev_tools/Cargo.toml --bin "$1" + cargo run --manifest-path dev_tools/Cargo.toml --bin "$1" --quiet else echo "Error: target '$target_bin' does not exist" exit 1 |