Re: Remove gz From 'make dist'?
Richard Kimberly Heck <[email protected]>
| Newsgroups | gmane.editors.lyx.devel |
|---|---|
| Message-ID | <[email protected]> |
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