Re: "make dist" error

[Gavin Smith]

On Sat, Aug 19, 2023 at 09:54:25PM +0200, Bruno Haible wrote:
> Gavin Smith wrote:
> > I've added rules for these and checked that they work in out-of-source
> > builds, and with make distcheck.
> 
> Thanks.
> 
> Note that this Makefile.am does not have a .NOTPARALLEL pseudo-target,
> therefore if people (not me, but someone else :) ) runs
> "make -j 4 dist", two different "make" processes will be started
> in the doc/refcard/ directory, leading to undefined results.
> I think this can be avoided through the attached patch.
> 
> Bruno

Thanks, I've committed this.