Re: FYI: fix typo on web page

[Tom Tromey <tromey@redhat.com>]

>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:

Joel> Thanks for the fix. And welcome to be Royal Pain of the GDB Web Site:
Joel> All pages have a "last modified" line at the end that gets automatically
Joel> updated if you call the "index.sh" script (at the root).

Sorry about the mess.

I could automate the index.sh part if you like.
We could do this as a post-processing step on the server, say by
renaming index.html -> index.in, and then having a little Makefile.

What do you think?

Joel> Once the updates are checked in, the sourceware.org copy will
Joel> immediately show your changes. But there is another copy at gnu.org
Joel> (http://www.gnu.org/software/gdb/).  To update that copy, you have
Joel> to check out a second CVS (yes, a second one), and then copy over
Joel> the new files, and check them in.

Ugh.  I think GCC automates this sync, too, but I don't know how.
We could find out.

Joel> If I was less lazy and Web updates were more frequent than they
Joel> currently are, I'd probably try to work on the issues above...

The variables aren't independent; web updates may be rare because they
are difficult.  E.g., I prefer the wiki since it isn't nearly such a
pain, especially now that I know exactly how much of a pain it is ;-)

Tom