On 3/29/18 14:43, Alvaro Herrera wrote: >> Hm, what's wrong just doing it in the normal build? It's a desired build >> artifact, so I really don't see any argument for not building it by >> default? Don't quite see what the advantage of doing it during make >> check would be? > I meant running something that would check that the file compiles, > without actually producing the output. For the regular docs, there's a > couple of orders of magnitude of difference in time to do the check vs. > the actual build.
Or we do both. -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services