Automated tests of the user documentation

[inf17101]

Description

Prevent wrong user documentation content or invalid links by testing the user documentation automatically.

There is also a package available for the mike package which can test links inside the documentation. This needs to be tested and checked.

Goals

Automated tests for the user documentation.

Final result

Summary

To be filled when the final solution is sketched.

Tasks

• Create a concept for testing the user doc automatically within CI/CD
• Remove or update not needed and obsolete chapters like: test coverage, unit test execution => here old commands are mentioned and not the usage of the tools/*.sh scripts which shall be used to execute coverage and tests, because the tool scripts do preparation steps or contain important exclusions.
• Implement & test the concept

[windsource]

Is this a duplicate of #201?