On 08.09.22 09:42, Alvaro Herrera wrote:
> On 2022-Sep-07, Peter Eisentraut wrote:
>
>> A possible drawback is that the intermediate postgres-full.xml file is
>>> 10MB, but I guess we're past the point where we are worrying about that
>> kind of thing.
>
> I think we are, but maybe mark it .PRECIOUS? IIUC that would prevent it
> from being removed if there's a problem in the other recipes.
I don't think .PRECIOUS is the right tool here. There are existing uses
of .SECONDARY in doc/src/sgml/Makefile; I integrated my patch there.