On Wed, Aug 03, 2022 at 08:24:38PM +0200, Pavel Sanda wrote: > On Wed, Aug 03, 2022 at 10:24:31AM +0100, José Matos wrote: > > Is there are any script take takes the repository and outputs a source > > release (like a tar ball gzip or xz)? > > make dist wait weren't you release manager for 1.5/6 ??? :) > p