This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC wwwdocs move to git done
- From: Jonathan Wakely <jwakely dot gcc at gmail dot com>
- To: Joseph Myers <joseph at codesourcery dot com>
- Cc: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>, gcc-patches <gcc-patches at gcc dot gnu dot org>, overseers at gcc dot gnu dot org
- Date: Wed, 9 Oct 2019 10:44:06 +0100
- Subject: Re: GCC wwwdocs move to git done
- References: <alpine.DEB.2.21.1910090021470.32747@digraph.polyomino.org.uk>
On Wed, 9 Oct 2019 at 01:28, Joseph Myers wrote:
>
> I've done the move of GCC wwwdocs to git (using the previously posted and
> discussed scripts), including setting up the post-receive hook to do the
> same things previously covered by the old CVS hooks, and minimal updates
> to the web pages dealing with the CVS setup for wwwdocs.
Thanks, Joseph.
I just pushed a change and although it worked and appeared on
gcc.gnu.org, I got an error message during the push:
remote: hooks/post-receive: line 14: /www/gcc/updatelog: Permission denied
remote: Updating /www/gcc/htdocs/gcc-10/changes.html