chore: generate web docs using github actions

[mzner]

Description

Related Issue

• Fixes <issue_link>

Motivation and Context

How Has This Been Tested?

• test environment:
• test case 1:
• test case 2:
• ...

Screenshots (if appropriate):

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to change)
• Technical debt
• Tests
• Documentation
• Maintenance (e.g. dependency updates or tooling)

Open tasks:

• ...

[update-docs]

Thanks for opening this pull request! The maintainers of this repository would appreciate it if you would create a changelog item based on your changes.

[LukasHirt]

This can be replaced with calling the makefile build.

[mzner]

Given the new information, if there is nothing we have missed or you have a different opinion, shall we close this PR?

[mmattel]

@LukasHirt as already made Matteo aware, there is no need to push that forward anymore because a required backend repo will not be updated to GH actions. This means that the current state of the dev docs on the web stays as it is and no new content can be added. The dev docs will be migrated into the Antora framework and when finished, we can remove the doc component here (and all the other contributing repos).

[LukasHirt]

I'll close this PR then.