Fix BRE typos in check-safety.sh

* manual/check-safety.sh: Fix BRE portability typos.
POSIX says \] produces undefined results.

diff --git a/manual/check-safety.sh b/manual/check-safety.sh
index 21ddb3beb732bd67bb1de8e3ff73d29772e73662..25f9fb5b1136d9204a9d3af5768bb667bae2456c 100644 (file)
--- a/manual/check-safety.sh
+++ b/manual/check-safety.sh
@@ -109,15 +109,15 @@ success=false
 # optional comment about exclusions is between []s at the end of the
 # line.
 grep -n '^@c \+[^@ ]\+\( dup\)\?'\
-'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*\]\)\?$' "$@" |
+'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*]\)\?$' "$@" |
 grep -v ':@c *[^@{}]*\( @mt[^ {}]*\)*'\
-'\( @as[^ {}]*\)*\( @ac[^ {}]*\)*\( \[.*\]\)\?$' &&
+'\( @as[^ {}]*\)*\( @ac[^ {}]*\)*\( \[.*]\)\?$' &&
 success=false
 
 # Check that comments containing safety remarks do not contain
 # duplicate remarks.
 grep -n '^@c \+[^@ ]\+\( dup\)\?'\
-'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*\]\)\?$' "$@" |
+'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*]\)\?$' "$@" |
 grep '[^:]\(@\(mt\|a[sc]\)[^ ]*\) \(.*[^:]\)\?\1\($\| \)' &&
 success=false