1 files changed, 20 insertions, 0 deletions
diff --git a/bin/copy_demos.sh b/bin/copy_demos.sh
new file mode 100755
index 0000000..dc827e4
--- /dev/null
+++ b/bin/copy_demos.sh
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+SOURCE_DIR="demos"
+DEST_DIR="public/demos"
+
+mkdir -p "$DEST_DIR"
+
+for demo in "$SOURCE_DIR"/*; do
+    [ -f "$demo" ] || continue
+
+    filename=$(basename -- "$demo")
+    dest="$DEST_DIR/$filename"
+
+    [ -f "$dest" ] && continue
+
+    echo "  copying demo: $filename"
+
+    cp "$demo" "$dest"
+done
+