On Fri, Jun 7, 2024 at 11:16 AM Viktor Ransmayr <[email protected]> wrote:
> Hello Edward, > > Edward K. Ream schrieb am Freitag, 7. Juni 2024 um 14:15:18 UTC+2: > > On Fri, Jun 7, 2024 at 4:56 AM Viktor Ransmayr wrote: > > > This morning I re-read your feedback - and - understood that you did > say: Leo's developer should create the 'leo-editor/dist' directory manually > ! > > I did - but - ran into the next issue: [build_log.txt doesn't exist]. > > > > Should the GH issue #3837 > <https://github.com/leo-editor/leo-editor/issues/3837> be reopened ? > > I have just amended the issue. I added the section "Notes about the build > environment". > > > The amendment does not make sense to me ... > > The file 'build_log.txt' does exist & can be created. - See attached log: > I'm not concerned about such details for at least two reasons: 1. I only use Windows to create distributions. 2. I assume future build devs will be able to adjust their procedures to handle small glitches. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0jaK30bsYy7h2ab3qL6v6HNcS%2BtQ%2Bki5hxORaMav8gfQ%40mail.gmail.com.
