diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2024-04-18 11:14:31 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2024-04-23 17:35:26 +0200 |
| commit | 9c05071719ca3a479b677e58db8ab0c5ad3f9b83 (patch) | |
| tree | 04b60b0698dda746e85dca75a7b1485d7bce3b34 /docs | |
| parent | 94da7b6e9ad8da2b0cb2ef86a64d9fa1d6c8320c (diff) | |
pythondeps.toml: warn about updates needed to docs/requirements.txt
docs/requirements.txt is expected by readthedocs and should be in sync
with pythondeps.toml. Add a comment to both.
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/requirements.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/requirements.txt b/docs/requirements.txt index 691e5218ec..02583f209a 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,2 +1,5 @@ +# Used by readthedocs.io +# Should be in sync with the "installed" key of pythondeps.toml + sphinx==5.3.0 sphinx_rtd_theme==1.1.1 |