Build Docs In Github Actions for Github pages.

[thomasmatecki]

• Closes Stop using Read the Docs #2417

[Kodiologist]

Oh nice, where can I see the output?

[thomasmatecki]

Here: https://thomasmatecki.github.io/hy/

I tried out a different theme. I can change back if this is something mergeable.

[Kodiologist]

It looks like the inclusion of version information isn't working. See how it says "hy unknown documentation" at the top? We'll want to publish a render for the most recent stable version of Hy at least; ideally also a separate one for master.

[Kodiologist]

It could be a good idea to not change the theme in this PR if only to better see what's changed from the move to GitHub Pages alone. You can always propose a theme change in another PR.

[Kodiologist]

It looks like the inclusion of version information isn't working. See how it says "hy unknown documentation" at the top?

Any progress on fixing this?

[thomasmatecki]

It looks like the inclusion of version information isn't working. See how it says "hy unknown documentation" at the top?

Any progress on fixing this?

Yes, I changed it back to the rtd theme, which seems to look fine: https://thomasmatecki.github.io/hy/

Spent some time noodling on if it's possible to have two versions of these deployed at once, for master and a latest stable, to no avail.

[Kodiologist]

I'm afraid the version information still isn't set correctly. See how it says "Hy version unknown" at the top?

[thomasmatecki]

I'm afraid the version information still isn't set correctly. See how it says "Hy version unknown" at the top?

Oh I see! No, I haven't had time to figure out what's going there.

[Kodiologist]

I'm closing this PR for inactivity. Let me know when you want me to look at it again and I'll reopen it. Maybe I'll pick it myself at some point.