Commit 5837501e authored by Alexander Jaust's avatar Alexander Jaust
Browse files

Add initial setup for readthedocs documentation

This adds:
- a freshly initialized mkdocs configuration in `doc/user`
- a ReadTheDocs configuration in the root of the repository
  named `.readthedocs.yaml`
parent fb3506f8
Pipeline #16637 passed with stages
in 3 minutes and 34 seconds