Merge Documentation and Emscripten workflow (#166)

Unify Documentation and Emscripten workflow

.github/workflows/documentation.yaml

@@ -1,34 +0,0 @@
-name: Documentation
-
-# Triggers the workflow on push events only for the master branch
-on:
-  push:
-    branches: [ master ]
-
-jobs:
-  build-documentation:
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v2
-
-    - name: Install Doxygen/Graphviz
-      run: |
-        sudo apt-get update
-        sudo apt-get install doxygen graphviz
-
-    - name: Build HTML documentation
-      run: |
-        cmake -S . -B build
-        cmake --build build --target doc
-
-    # Deploy the HTML documentation to GitHub Pages
-    - name: GH Pages Deployment
-      uses: peaceiris/actions-gh-pages@v3
-      with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: build/doc/doxygen/html/
-        enable_jekyll: false
-        allow_empty_commit: false
-        force_orphan: true
-        publish_branch: gh-pages