Problem with Gnome 2.0 developer.gnome.org API docs

[Brian Cameron <Brian Cameron Sun COM>]

The build of the 2.0 platform docs seem to have been broken for about
a month.  At least the ATK docs seem to be over a month old.

Refer to the mini-tinderbox at:

   http://developer.gnome.org/doc/API/
   http://developer.gnome.org/doc/API/2.0/atk/book1.html

When will this be fixed?

Brian