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. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2YLU5xGi%3D%3DM1Wn%2BH7DYnKYaG0S3CXi5KSHbtVL6-z7Cg%40mail.gmail.com.
