Publish html dir #25

	# # 'sync' job from: https://stackoverflow.com/questions/76509304/running-github-action-to-keep-a-branch-up-to-date-with-main
	# name: Run Documentation Branch

	# on:
	# push:
	# branches: [main]

	# permissions:
	# contents: write

	# jobs:
	# # sync:
	# # # if: github.ref == 'refs/heads/documentation'
	# # runs-on: ubuntu-latest
	# # steps:
	# # - name: Checkout
	# # uses: actions/checkout@v3
	# # with:
	# # fetch-depth: 0

	# # - name: Setup Git User
	# # run: \|
	# # git config user.name "GitHub Action"
	# # git config user.email "<EMAIL>"

	# # - name: Update Documentation Branch
	# # run: \|
	# # git checkout main
	# # git fetch origin
	# # git checkout documentation
	# # git pull
	# # git merge origin/main
	# # git push origin documentation

	# build-deploy-documentation:
	# # needs: sync
	# runs-on: ubuntu-latest
	# steps:
	# - name: Checkout
	# uses: actions/checkout@v3

	# - name: Build DOxygen documentation
	# uses: mattnotmitt/[email protected]
	# with:
	# doxyfile-path: './backend/Doxyfile'
	# working-directory: '.'
	# enable-latex: true

	# - name: Build JSDoc documentation
	# if: ${{ false }}
	# uses: andstor/jsdoc-action@v1
	# with:
	# source_dir: './frontend/src/lib'
	# recurse: true
	# output_dir: './docs/jsdoc'

	# - name: Deploy
	# uses: peaceiris/actions-gh-pages@v3
	# with:
	# github_token: ${{ secrets.GITHUB_TOKEN }}
	# publish_dir: ./generated-docs/html

Provide feedback