diff --git a/tools/test-documentation b/tools/test-documentation index 0f9b81f6c8..7890d9c221 100755 --- a/tools/test-documentation +++ b/tools/test-documentation @@ -17,4 +17,21 @@ cd "$(dirname "$0")"/../docs make html cd ../tools/documentation_crawler +echo -en "\033[0;94m" +echo "Testing links in documentation..." +echo -en "\033[0m" + +set +e scrapy crawl_with_status documentation_crawler $loglevel +result=$? +if [ "$result" = 1 ]; then + echo -en "\033[0;91m" + echo "Failed!" + echo -en "\033[0m" + exit 1 +else + echo -en "\033[0;92m" + echo "Passed!" + echo -en "\033[0m" + exit 0 +fi