-
Notifications
You must be signed in to change notification settings - Fork 21
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Push to netlify? #9
Comments
BTW, I just did
and it still works and can be used to create this rendering locally, which may be useful to some. |
This was referenced Apr 5, 2022
The repo-side-of-things is done in #32. But someone needs to activate netlify for this repo. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It would be very useful to be able to convenient browse the document at various revisions, including PRs. I believe that this is relatively simple to set up using netlify, including per-PR previews.
Should we do that?
Maybe we can use the self-contained single page style sheet that we used back then, which I find more usable with it's deep ToC on the left.
The text was updated successfully, but these errors were encountered: