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)
Status Job ID Name Coverage
  Test
passed #34284
allowed to fail
checkpatch

00:01:23

passed #34285
f28_build_default

00:14:14

passed #34286
f28_rpm_autotools_dbg

00:14:21

passed #34287
f28_rpm_meson_dbg

00:12:39