dist/tools/doccheck: Fix grep warning

Fix `grep: warning: stray \ before -` warnings.
RIOT-OS · Feb 2, 2023 · 7868963 · 7868963
1 parent b0fc3e5
commit 7868963
Show file tree

Hide file tree

Showing 2 changed files with 3,512 additions and 3,512 deletions.
diff --git a/dist/tools/doccheck/create_pattern.sh b/dist/tools/doccheck/create_pattern.sh
@@ -13,5 +13,5 @@
 #
 
 sed -E -e "s#^(.*:)([0-9]+): #\1DIGITS_MAGIC: #" \
-        -e 's/[]\\.$*{}|+?()[^-]/\\&/g' \
+        -e 's/[]\\.$*{}|+?()[^]/\\&/g' \
         -e 's/:DIGITS_MAGIC:/:[0-9]+:/'