On Thu, 2020-03-12 at 13:16 +0100, Jakub Jelinek wrote:
> Hi!
>
> scripts/update_web_docs_git -r 9.3.0 -d gcc-9.3.0
> failed after the sourceware upgrade, there is no python-sphinx10
> package and
> python3-sphinx is new enough that the docs build succeeded.
>
> Ok for trunk?
>
> 2020-03-12 Jak
Hi!
scripts/update_web_docs_git -r 9.3.0 -d gcc-9.3.0
failed after the sourceware upgrade, there is no python-sphinx10 package and
python3-sphinx is new enough that the docs build succeeded.
Ok for trunk?
2020-03-12 Jakub Jelinek
* update_web_docs_git: Use SPHINXBUILD=/usr/bin/sphinx
