From 7160166bc792efef3af86401f2fa8de1e1ab0097 Mon Sep 17 00:00:00 2001 From: Martine Lenders Date: Tue, 26 Nov 2024 19:39:50 +0100 Subject: [PATCH] check_in_readme.sh: tell dev _which_ README.md --- dist/tools/examples_check/check_in_readme.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dist/tools/examples_check/check_in_readme.sh b/dist/tools/examples_check/check_in_readme.sh index 6a50920af501..f238b02accb8 100755 --- 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