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?

Should I do a `git pull` in the gcc-checkout dir on sourceware after
pushing this?