I can't help much with Leo's code base. However, I feel I can occasionally contribute by updating the docs (perhaps small, but important). Curious what the process is supposed to be from updating LeoDocs.leo to the online version. To wit:
1. Several weeks ago I changed the command `print-all-uas` and `print-node-uas` to `show-all-uas` and `show-node-uas` to reflect current command practice, then committed those changes to the devel branch in GitHub. 2. I see now that LeoDocs.leo still shows the old commands (perhaps I don't understand how GitHub commits work). 3. Besides that, how would these documentation changes make it to the web site version? Should I post an issue on GitHub to bring attention? Rob... PS Try doing a search on the LeoEditor web site documentation for uAs; it's an exercise in frustration:-( -- 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/b0204eda-5add-496c-84b2-f4962142b476%40googlegroups.com.
