Add dev tools to generate example documentation

1 files changed, 27 insertions, 0 deletions

diff --git a/run-tools.sh b/run-tools.sh
new file mode 100755
index 0000000..7bfcd29
--- /dev/null
+++ b/run-tools.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+
+cd "$(dirname "$0")" || exit 1
+
+if [ $# -eq 0 ]; then
+    echo "Available:"
+    if [ -d "dev_tools/src/bin" ]; then
+        for file in dev_tools/src/bin/*.rs; do
+            if [ -f "$file" ]; then
+                basename "$file" .rs
+            fi
+        done
+    else
+        echo "Warning: dev_tools/src/bin directory does not exist"
+    fi
+    exit 1
+fi
+
+target_bin="$1"
+target_file="dev_tools/src/bin/${target_bin}.rs"
+
+if [ ! -f "$target_file" ]; then
+    echo "Error: target file '$target_file' does not exist"
+    exit 1
+fi
+
+cargo run --manifest-path dev_tools/Cargo.toml --bin "$1"