3 Commits

Author	SHA1	Message	Date
dependabot[bot]	131baaa555	build(deps): bump sphinx-rtd-theme from 0.5.2 to 1.0.0 in /docs ... Bumps [sphinx-rtd-theme](https://github.com/readthedocs/sphinx_rtd_theme) from 0.5.2 to 1.0.0. - [Release notes](https://github.com/readthedocs/sphinx_rtd_theme/releases) - [Changelog](https://github.com/readthedocs/sphinx_rtd_theme/blob/master/docs/changelog.rst) - [Commits](https://github.com/readthedocs/sphinx_rtd_theme/compare/0.5.2...1.0.0) --- updated-dependencies: - dependency-name: sphinx-rtd-theme dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>	2021-12-18 14:41:58 +00:00
Matthias Schiffer	32ae071954	docs: pin theme version ... rtd.io uses a severely outdated theme version with several known bugs by default. Pin to a never version to get the bugfixes.	2021-06-26 20:39:31 +02:00
Martin Weinelt	c052a4bf16	docs: specify build dependencies in requirements.txt	2020-06-03 02:17:39 +02:00