diff options
| author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-15 14:20:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-15 14:20:51 +0200 |
| commit | 52138e9abfd2d3453bd653a8854fd69a19873573 (patch) | |
| tree | b231c8fa4e6e5ebd7c22d53d82e798f4dea87dcd /doc/requirements.txt | |
| parent | 39f95c0815b03eadba6b0ce4f1769a3ea59bed5f (diff) | |
| download | pylint-git-52138e9abfd2d3453bd653a8854fd69a19873573.tar.gz | |
[Doc] Create a contact section and cleanup the introduction (#6613)
* Add a mechanism for redirection
* Upgrade cache so the new requirements are properly installed
Co-authored-by: Daniël van Noord <13665637+DanielNoord@users.noreply.github.com>
Diffstat (limited to 'doc/requirements.txt')
| -rw-r--r-- | doc/requirements.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/requirements.txt b/doc/requirements.txt index 7464dd948..3fb58817a 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,3 +1,4 @@ Sphinx==4.5.0 +sphinx-reredirects<1 furo==2022.4.7 -e . |