No problem. See the developers page for 5-minute build so you can check your commit.
I think it's best if people always check that they don't break the docs before committing changes. "make check" should be sufficient, and that is much faster than building the docs completely.
-Neil
---------------------------(end of broadcast)--------------------------- TIP 3: if posting/reading through Usenet, please send an appropriate subscribe-nomail command to [EMAIL PROTECTED] so that your message can get through to the mailing list cleanly