Added new emv vars for production server

Author: pedrominatel

.github/workflows/docs.yml

@@ -52,17 +52,16 @@ jobs:
         python-version: '3.x'
     - name: Deploy
       env:
-        DOCS_BUILD_DIR: "./docs/_build/"
-        DOCS_DEPLOY_URL_BASE: "https://docs.espressif.com/projects/arduino-esp32"
-        DOCS_DEPLOY_SERVER: "$DOCS_SERVER"
+        TYPE: "production"
+        DOCS_DEPLOY_PRIVATEKEY: "$DOCS_PROD_DEPLOY_KEY"
+        DOCS_DEPLOY_SERVER: "$DOCS_PROD_SERVER"
         DOCS_DEPLOY_SERVER_USER: "$DOCS_PROD_SERVER_USER"
-        DOCS_DEPLOY_PRIVATEKEY: "$DOCS_DEPLOY_KEY"
+        DOCS_DEPLOY_PATH: "$DOCS_PROD_PATH"
+        DOCS_DEPLOY_URL_BASE: "https://docs.espressif.com/projects/arduino-esp32"
       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
         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
-
-