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.