a0ae4cbe9d
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. |
||
|---|---|---|
| .. | ||
| branch_changer.py | ||
| bugzilla-close-candidate.py | ||
| ChangeLog | ||
| crontab | ||
| gcc_release | ||
| generate_libstdcxx_web_docs | ||
| maintainer-addresses | ||
| README | ||
| update_version_git | ||
| update_web_docs_git | ||
| update_web_docs_libstdcxx_git | ||
This directory contains various files used by the gccadmin account on gcc.gnu.org, mainly for automated tasks such as the daily update of the date in gcc/DATESTAMP. There isn't presently any scheme for files checked in here to be automatically checked out and used by gccadmin, so the files in Subversion and those used by gccadmin must be kept in sync manually.