Re: RFC: gdb web page patch for git conversion

Joel Brobecker
2013-08-29T20:56:00Z

Hi Tom,

On Thu, Aug 29, 2013 at 02:15:38PM -0600, Tom Tromey wrote:
> Here's the patch I came up with for converting the gdb web pages to git.

FWIW, it looks good to me.

> I vaguely remember that there is some other crucial step after
> committing, maybe in order to push the changes to the FSF? I don't
> remember any details about it; so if you know, please respond.

Yes. Committing to the sourceware CVS automatically gets the sourceware
web pages updated, but then we need to push the same change to the CVS
at savannah. I've been doing that by maintaining a git mirror of the CVS
repo, and cvsexportcommit'ing to both CVS. I can take care of that part.

--
Joel