Bruce Momjian wrote:
> 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