Hi, On 2018-03-29 15:20:58 -0300, Alvaro Herrera wrote: > Andres Freund wrote: > > > Could we add INSTALL to the all target in src/docs/sgml? It's a bit > > awkward that one can build the docs and miss such a mistake. It's fast > > to build in comparison to the rest of the docs, so that doesn't seem > > like a high price? > > Maybe it can be tested for in "make check"? That's probably even > faster.
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? Greetings, Andres Freund
