Re: Fix an error during "./configure; make dist"

[Patrice Dumas]

On Sat, Aug 10, 2024 at 04:19:52PM +0100, Gavin Smith wrote:
> If the .pot files are deleted as part of this check it makes sense that
> the newly generated .pot files would have different time stamps.

Indeed.  So I think that we are good except for the autogen.sh issue I
reported in another thread.

I attach a list of recipes mainly based on Bruno, maybe this should be
added to the list of the things to check before a release?

-- 
Pat

notes_dist_checks.txt
Description: Text document