Hi,The documentation trunk builds seem to need a restart. I don't think there were any checkins between the end of May and last Thursday (6/28). I would have expected one since then, but the last build seems to have taken place on June 6. Kristian is on vacation for a few weeks; does anyone else know how to get these going again?
Thanks very much -- Kim Haase
