ci: Rebuild the docs right before publishing

Author: elprans

.ci/travis-publish-docs.sh

@@ -13,6 +13,9 @@ if [ "${TRAVIS_PULL_REQUEST}" != "false" ]; then
     exit 0
 fi
 
+pip install -r docs/requirements.txt
+make htmldocs
+
 git config --global user.email "[email protected]"
 git config --global user.name "Travis CI"