Hello Edward, Am So., 5. Apr. 2020 um 16:04 Uhr schrieb Edward K. Ream < edream...@gmail.com>:
> On Sun, Apr 5, 2020 at 8:48 AM Viktor Ransmayr <viktor.ransm...@gmail.com> > wrote: > > @Edward: IMO it would be really nice, if Leo's documentation could be >> *locally* generated & extended. >> > [big snip] > > >> As far as I can tell, this is not possible following the instructions >> provided in >> >> - >> /home/user/PyVE/PyPI/Leo-stable/lib64/python3.7/site-packages/leo/doc/LeoDocs.leo#Leo's >> Documentation >> >> Shall I create an issue in GitHub for this? >> > > Yes. In future, always feel free to create a new issue. There is no harm > in doing so. > Done. - See - https://github.com/leo-editor/leo-editor/issues/1566 With kind regards, Viktor -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAAeSrG%2B_CphVG6PeM2Vr9w-hyDxTS1YptVXMbrRf%2BLo-0VUg0g%40mail.gmail.com.
