Added ddocs deploy job - build and deploy

Author: pedrominatel

.github/workflows/docs.yml

@@ -54,6 +54,7 @@ jobs:
       run: |
         PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
         PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
-        export GIT_VER=$(git describe --always)
+        PATH=/home/runner/.local/bin:$PATH export GIT_VER=$(git describe --always)
         PATH=/home/runner/.local/bin:$PATH pip install -r ./docs/requirements.txt --prefer-binary
+        cd ./docs && PATH=/home/runner/.local/bin:$PATH build-docs -l en
         PATH=/home/runner/.local/bin:$PATH deploy-docs