diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh index 08cb7769c..70efc012e 100755 --- a/scripts/check-pr.sh +++ b/scripts/check-pr.sh @@ -114,7 +114,7 @@ function check_outdated_page() { function check_more_info_link() { local page=$1 - python3 scripts/set-more-info-link.py -Sn | grep "$page" > /dev/null + grep "$page" "more-info-links.txt" > /dev/null if [ $? -eq 0 ]; then printf "\x2d $MSG_MORE_INFO" "$page" @@ -136,6 +136,8 @@ function check_diff { return 0 fi + python3 scripts/set-more-info-link.py -Sn > more-info-links.txt + while read line; do readarray -td$'\t' entry < <(echo -n "$line")