Update github docs workflo [skip ci]

Author: hmakelin

.github/workflows/build_and_deploy_sphinx_docs.yml renamed to .github/workflows/build_and_deploy_docs.yml

@@ -1,10 +1,14 @@
-name: Build and deploy Sphinx documentation
+name: Build and deploy docs
 
 on:
-  push:
-    # Run when new version tag is pushed
-    tags:
-      - v*
+  # Push trigger is disabled because the Docker container that builds the docs
+  # in this workflow will not have the new tag, meaning the API reference would
+  # have the wrong version tag displayed (commit would still be correct). Need to
+  # build a new Docker image and then use that to build and deploy the docs.
+  #push:
+  #  # Run when new version tag is pushed
+  #  tags:
+  #    - v*
 
   # Allows running manually from the Actions tab
   workflow_dispatch:
@@ -17,11 +21,11 @@ jobs:
       run:
         shell: bash
     steps:
-      - name: Build Sphinx docs
+      - name: Build docs
         run: |
           mkdir -p docs/_build
           docker run ghcr.io/${{ github.repository }}:latest make docs
-          docker cp $(docker ps -q -l):/opt/colcon_ws/src/gisnav/docs/_build docs
+          docker cp $(docker ps -q -l):/opt/colcon_ws/src/gisnav/docs/vitepress/docs/dist docs
 
       - name: Install node
         run: |
@@ -30,19 +34,13 @@ jobs:
           curl -fsSL https://deb.nodesource.com/setup_18.x | bash -
           sudo apt-get install -y nodejs
 
-      - name: Setup pages
+      - name: Configure pages
         uses: actions/configure-pages@v1
 
-      #- name: Make "Upload pages artifact" step work with containers
-      #  run: |
-      #    mkdir -p ${{runner.temp}}
-      #    mkdir -p /__w/_temp
-      #    ln -s ${{runner.temp}}/artifact.tar /__w/_temp/artifact.tar
-
       - name: Upload pages artifact
         uses: actions/upload-pages-artifact@v2
         with:
-          path: 'docs/_build/html/'
+          path: "docs"
 
   deploy:
     needs: build
@@ -58,6 +56,6 @@ jobs:
 
     runs-on: ubuntu-20.04
     steps:
-      - name: Deploy to GitHub Pages
+      - name: Deploy pages
         id: deployment
         uses: actions/deploy-pages@v3