On Mon, Jan 22, 2024 at 08:30:47PM -0500, Ben Gamari wrote:
On 22/01/2024 16:15, Simon Peyton Jones wrote:
Is there any workaround at all? E.g. a web site where you can give it a URL for a RST file, and it'll typeset the RST for you? Or is it impossible to to typeset RST?
I tend to use pandoc to preview RST files locally. There are also a few websites that allow you to enter RST content directly and see a live preview (e.g. https://snippets.documatt.com/). They may not exactly line up with how GitHub renders things, of course, and I don't know of any that let you feed in a URL to an RST file hosted elsewhere.
As noted during the SWG meeting today, I suspect that the easiest way forward here may be to just render PRs via CI. However, I don't know how easy it is to preserve artifacts such that they are viewable using GitHub Actions. Jose will have a quick look at this.
Perhaps the artifacts could be deployed as Github Pages. But in the first instance I like Bryan's suggestion of just splitting the documents into small-enough pieces.