On 13/01/20 21:42 +0000, Joseph Myers wrote:
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).
OK, that's done.