commit 3d056b78cd65fb2f107b0f9cff8bcf7749f506a8 parent e5d5ac3117630052415ebcc4f06c7c89ea984382 Author: Vincent Forest <vincent.forest@meso-star.com> Date: Fri, 22 Aug 2025 16:59:38 +0200 Do not warn if a generated file is not indexed This could become far too verbose Diffstat:
| M | generate_header.sh | | | 4 | ---- |
1 file changed, 0 insertions(+), 4 deletions(-)
diff --git a/generate_header.sh b/generate_header.sh @@ -244,10 +244,6 @@ subentry="$(indexed_content < "${worktree}/${section}/index.tsv" \ if [ -n "${subentry}" ]; then lang="$(echo "${subentry}" | cut -d' ' -f3 | cut -d':' -f1)" -else - # Indicate that the file is not accessible via the menu - >&2 printf '%s: %s is not an index file of the section %s\n' \ - "${0##*/}" "${content}" "${section}" fi lang="${lang:-en}"