On Tue, Oct 29, 2019 at 3:44 AM Viktor Ransmayr <[email protected]> wrote:
> > Should it be possible to create a local version of Leo's Documentation out > of the box w/o making any modifications to "LeoDocs.leo"? > Yes. LeoDocs.leo is the official source for Leo's docs. Choose the node "Leo's Documentation" and run the rst3 command. This creates files which can be turned into .html files using `make html` from the leo-editor\leo\doc\html directory. 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/CAMF8tS3AZ-ao3MU7So859MmY9VgOfHN4Kd2dnGGOTf-DKnWmuw%40mail.gmail.com.
