It seems like it would be useful for the Hudson build to build the docs, even if it doesn't publish them to the website, just to verify that they build successfully after each change.
Similarly, if this isn't already occurring, it would be useful for the Hudson build to build Javadoc. I know that I often forget to verify the Javadoc build when checking a patch. thanks, bryan
