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