Update loop_docs.sh

2026-06-11 12:41:27 +00:00 · 2023-04-30 10:59:00 +08:00
parent d937b296e8
commit 25c59c13e6
1 changed files with 1 additions and 1 deletions
--- a/loop_docs.sh
+++ b/loop_docs.sh
@@ -42,5 +42,5 @@ for file in docs/*; do
    if [ "$file" == "docs/intro.md" ]; then
        continue
    fi
-    rm $file
+    rm $file || true
 done