diff options
| author | Théo Zimmermann | 2019-05-07 14:40:02 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-07 14:40:02 +0200 |
| commit | e9d6aef75963126d7a856f5b88db8fd1e550f596 (patch) | |
| tree | 8c2f197d2eb3583d4bd7c873680ba0dc72284438 /dev/ci | |
| parent | 403f8784706d54e5e91bf20e56b0bf8ea40f4df3 (diff) | |
Define minimum Sphinx version in conf.py.
We set the minimum Sphinx version in conf.py to the one that we test
in our CI and the one that is documented in doc/README.md. Hopefully,
it will allow users with lower Sphinx verisons get better error
messages.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions