Eeep! sorry about that! I fixed the botched LeoDocs.leo edit, and have now uploaded a package to https://pypi.python.org/pypi/leo :)
`pip install leo` for end users and `pip install leo[develop]` for the extras like pylint should work for most people now. WRT to the docs, I'm not sure if I used the right structure about where to put in table of contents, sections headings and all that. I'm not attached to any of it. Please free to edit. matt On Tue, Nov 28, 2017 at 6:34 PM, Edward K. Ream <[email protected]> wrote: > > > On Tuesday, November 28, 2017 at 5:00:26 PM UTC-6, Matt Wilkie wrote: >> >> https://github.com/leo-editor/leo-editor/commit/3b6b820c105d >> f6f7c53cadedcec776c0974542d9 >> >> Note: they don't work yet because there is no package on pypi.org! I got >> to fighting with git conflicts and have run out of time. More later. Sorry >> > > Rev 4a99f36 reverts LeoDocs.leo to rev 92de60593. It can not be loaded. > > 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 post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/leo-editor. > For more options, visit https://groups.google.com/d/optout. > -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
