diff --git a/site/gen-api-docs.sh b/site/gen-api-docs.sh index 6964b1a031..b083855998 100755 --- a/site/gen-api-docs.sh +++ b/site/gen-api-docs.sh @@ -62,7 +62,7 @@ function sedeasy { } # do we have changes in generated API docs compared to previous version -if ! diff $RESULT $OLD; +if ! diff <(sort $RESULT) <(sort $OLD); then echo "Output to a file $FILE"