diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2020-03-12 14:46:28 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2020-03-12 14:46:28 +0100 |
| commit | a0ae4cbe9d1430b32f674b862a6d8dce0ed81f2a (patch) | |
| tree | abc9add8946aedd33c0d875f51104635915d0723 /gcc/resource.c | |
| parent | 1dc00a8ec9aeba86b74b16bff6f171824bb7b4a1 (diff) | |
| download | gcc-a0ae4cbe9d1430b32f674b862a6d8dce0ed81f2a.zip gcc-a0ae4cbe9d1430b32f674b862a6d8dce0ed81f2a.tar.gz gcc-a0ae4cbe9d1430b32f674b862a6d8dce0ed81f2a.tar.bz2 | |
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.
Diffstat (limited to 'gcc/resource.c')
0 files changed, 0 insertions, 0 deletions