diff --git a/ci/build_docs.sh b/ci/build_docs.sh index a038304fe0f7a..5de9e158bcdb6 100755 --- a/ci/build_docs.sh +++ b/ci/build_docs.sh @@ -10,11 +10,11 @@ echo "inside $0" git show --pretty="format:" --name-only HEAD~5.. --first-parent | grep -P "rst|txt|doc" -if [ "$?" != "0" ]; then - echo "Skipping doc build, none were modified" - # nope, skip docs build - exit 0 -fi +# if [ "$?" != "0" ]; then +# echo "Skipping doc build, none were modified" +# # nope, skip docs build +# exit 0 +# fi if [ "$DOC" ]; then