On Mon, 13 Jan 2020, Jonathan Wakely wrote: > On 13/01/20 17:46 +0000, Joseph Myers wrote: > > This patch replaces the update_web_docs_svn script, that updates > > online documentation from its sources in the GCC repository, run once > > a day from cron, with update_web_docs_git. > > > > Applied to mainline. > > And this does the same for the update_web_docs_libstdcxx_svn script. > > OK for trunk?
Yes. > Should I do a `git pull` in the gcc-checkout dir on sourceware after > pushing this? Yes, and install the new crontab (right now the installed crontab has the call to update_web_docs_libstdcxx_svn commented out, but with this patch we'll be able to use the checked-in crontab verbatim again). -- Joseph S. Myers jos...@codesourcery.com