<div dir="ltr">One really hacky solution that might work would just be to split a proposal across two files.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 23 Jan 2024 at 03:31, Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Adam Gundry <<a href="mailto:adam@well-typed.com" target="_blank">adam@well-typed.com</a>> writes:<br>
<br>
> On 22/01/2024 16:15, Simon Peyton Jones wrote:<br>
>> Is there any workaround at all?   E.g. a web site where you can give it <br>
>> a URL for a RST file,  and it'll typeset the RST for you?  Or is it <br>
>> impossible to to typeset RST?<br>
><br>
> I tend to use pandoc to preview RST files locally. There are also a few <br>
> websites that allow you to enter RST content directly and see a live <br>
> preview (e.g. <a href="https://snippets.documatt.com/" rel="noreferrer" target="_blank">https://snippets.documatt.com/</a>). They may not exactly line <br>
> up with how GitHub renders things, of course, and I don't know of any <br>
> that let you feed in a URL to an RST file hosted elsewhere.<br>
><br>
As noted during the SWG meeting today, I suspect that the easiest way<br>
forward here may be to just render PRs via CI. However, I don't know how<br>
easy it is to preserve artifacts such that they are viewable using<br>
GitHub Actions. Jose will have a quick look at this.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>