diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/link-format-chk.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/link-format-chk.sh b/scripts/link-format-chk.sh index 86f28be..e3f0f6d 100755 --- a/scripts/link-format-chk.sh +++ b/scripts/link-format-chk.sh @@ -10,7 +10,7 @@ ECODE=0 FILES="" for fname in $(git diff --name-only HEAD $(git merge-base HEAD master)); do if [[ $fname == *.mediawiki ]]; then - GRES=$(grep -n '](' $fname) + GRES=$(grep -n '](http' $fname) if [ "$GRES" != "" ]; then if [ $ECODE -eq 0 ]; then >&2 echo "Github Mediawiki format writes link as [URL text], not as [text](url):" |