On 13/01/20 21:42 +, Joseph Myers wrote:
On Mon, 13 Jan 2020, Jonathan Wakely wrote:
On 13/01/20 17:46 +, 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, wit
On Mon, 13 Jan 2020, Jonathan Wakely wrote:
> On 13/01/20 17:46 +, 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
On 13/01/20 17:46 +, 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_lib
I've also applied this corresponding web page update.
diff --git a/htdocs/releasing.html b/htdocs/releasing.html
index 5d08550c..48853f9c 100644
--- a/htdocs/releasing.html
+++ b/htdocs/releasing.html
@@ -89,9 +89,9 @@ the main web page, and add a proper news item there as
well.
and add a link f
