maintainer-scripts: Fix jit documentation build with update_web_docs_git
authorJakub Jelinek <jakub@redhat.com>
Thu, 12 Mar 2020 13:46:28 +0000 (14:46 +0100)
committerJakub Jelinek <jakub@redhat.com>
Thu, 12 Mar 2020 13:46:28 +0000 (14:46 +0100)
commita0ae4cbe9d1430b32f674b862a6d8dce0ed81f2a
treeabc9add8946aedd33c0d875f51104635915d0723
parent1dc00a8ec9aeba86b74b16bff6f171824bb7b4a1
maintainer-scripts: Fix jit documentation build with update_web_docs_git

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.

2020-03-12  Jakub Jelinek  <jakub@redhat.com>

* update_web_docs_git: Drop SPHINXBUILD=/usr/bin/sphinx-1.0-build.
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_git