On 4/16/26 6:21 AM, Pavel Sanda wrote:
On Thu, Apr 16, 2026 at 11:48:03AM +0200, Pavel Sanda wrote:
On Wed, Apr 15, 2026 at 01:58:28PM -0400, Richard Kimberly Heck wrote:
I can easily enough stop distributing the gz file, but does someone want to
remove the code that generates it from 'make dist'? For now, perhaps we
should just comment it out.
I can look at it later. For the moment we won't just distribute it...
That's fine. It'll just save a bit of time when building if we remove it.
Riki
--
lyx-devel mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-devel
