docs: fix bashism in tools/check-docs.sh

4 jobs for fix-bashism-in-tools-check-docs-sh in 15 minutes and 35 seconds (queued for 12 minutes and 27 seconds)