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 -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
