This repository hosts the generated documentation for Oscar.jl from which the content of https://docs.oscar-system.org/stable/ is rendered.
To edit the documentation, do not directly push to this repository. Instead, this repository is updated by a GitHub workflow running in the main Oscar repository https://github.com/oscar-system/Oscar.jl.