On Tue, 2007-01-16 at 17:52 +0200, Rob Taylor wrote: > > How about a commit hook on the main repo that builds the docs? (and it > could probably do a make distcheck as well.. ;)) I could take a look > into doing this, if people are interested. That could be very cool, and probably the right way to do this. Richard.