Skip to content

Publish docs to readthedocs

Tilmann Sager requested to merge publish-docs-to-readthedocs into master

Summary

This MR adds some requirements and config files for the automatic deployment.

Changes

  • .readthedocs.yaml (config for readthedocs)
  • docs/source/requirements.txt (dependencies for building the docs, i.e. rst2pdf)

Current Version

A current version can be seen on https://conml.readthedocs.io/en/latest/ .

Notes

If you want to change the pipeline, please contact @ts99nami who holds the readthedocs project (which should be changed in the future since I'm leaving the university).

Merge request reports