diff options
| -rwxr-xr-x | test/script/check-supported-tools-tables | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index 842d431b..1d0fec53 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -50,7 +50,7 @@ sed -n "$readme_start_line,$readme_end_line"p README.md \ | sed 's/ \?|/:/' \ | sed 's/[`!^|]\|([^)]*)//g' \ | sed 's/\[\|\]//g' \ - | sed 's/see.*\(,\|$\)/\1/g' \ + | sed 's/see[^,]*\(,\|$\)/\1/g' \ | sed 's/ *\([,:]\)/\1/g' \ | sed 's/ */ /g' \ | sed 's/^ *\| *$//g' \ |