check_in_readme.sh: tell dev _which_ README.md

miri64 · Nov 26, 2024 · 7160166 · 7160166
1 parent 5e6e34e
commit 7160166
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dist/tools/examples_check/check_in_readme.sh b/dist/tools/examples_check/check_in_readme.sh
@@ -19,10 +19,10 @@ done
 
 # Report missing entries
 if [ ${#missing_entries[@]} -eq 0 ]; then
-    echo "All directories are listed in the README.md file."
+    echo "All directories are listed in the examples/README.md file."
     exit 0
 else
-    echo "The following directories are missing in the README.md file:"
+    echo "The following directories are missing in the examples/README.md file:"
     for entry in "${missing_entries[@]}"; do
         echo "- $entry"
     done