Re: Fwd: GDP Docs compilation FAILED (2011.09.23-03:32)

[Graham Percival]

On Fri, Sep 23, 2011 at 09:55:26AM +0200, David Kastrup wrote:
> I am somewhat surprised that the patch passed testing by someone else,
> though.  It would seem that doc builds are not part of that.

I think that James only does a normal make and make check; that's
doable in 3 minutes on his computer, rather than the horrible wait
of 30 minutes or something for a complete "make doc" from scratch.

Once this latest round of breakage is fixed, would you PLEASE
seriously consider pushing stuff to a dev/staging branch, and let
either James or me merge that with master when it passes a full
make doc from scratch?  I've lost count of how many times master
has broken in the past two months.

- Graham