Documentation update process

[Rob]

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:-(

[Chris George]

I think the current website only gets built from master at release time.

Once we switch over to github pages it is dead simple to generate updated docs from devel.

That should happen soon. I am just waiting to hear back from Speed with DNS changes.

Chris

--
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/b0204eda-5add-496c-84b2-f4962142b476%40googlegroups.com.

[Edward K. Ream]

On Monday, September 2, 2019 at 11:00:04 PM UTC-5, Chris George wrote:

I think the current website only gets built from master at release time.

Or whenever I get around to updating the site ;-)

Once we switch over to github pages it is dead simple to generate updated docs from devel.

That should happen soon. I am just waiting to hear back from Speed with DNS changes.

I'll nudge Speed today.

Edward

[Edward K. Ream]

On Tuesday, September 3, 2019 at 6:17:00 AM UTC-5, Edward K. Ream wrote:

Once we switch over to github pages it is dead simple to generate updated docs from devel.

That should happen soon. I am just waiting to hear back from Speed with DNS changes.

I'll nudge Speed today.

Speed said he sent you an email about the process.  Did you get it?

According to Speed, you have to request the leoeditor.com domain name from some authority, which then forwards it to Speed.  The transfer completes just by Speed responding affirmatively to the email.

In short, Speed is waiting on you.

Edward