Skip to content
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

Get Sphinx/RTD set up properly #67

Open
2 tasks done
jdpage opened this issue Aug 29, 2018 · 1 comment
Open
2 tasks done

Get Sphinx/RTD set up properly #67

jdpage opened this issue Aug 29, 2018 · 1 comment
Labels
docs Documentation-related concerns

Comments

@jdpage
Copy link
Collaborator

jdpage commented Aug 29, 2018

We're set up on ReadTheDocs (https://jeff65.readthedocs.io/en/latest/) but we're not actually generating real documentation. We should at least be including the specs for now.

Also, the commit hook still needs to be set up. I have the keys for that, so once Sphinx is ready, this needs to be assigned to me to sort that out.

  • Set up Sphinx
  • Enable RTD webhook
@jdpage jdpage added the docs Documentation-related concerns label Aug 29, 2018
@jdpage
Copy link
Collaborator Author

jdpage commented Mar 23, 2019

Looks like the webhook was enabled automatically. I've also set up Sphinx on the master-ocaml branch (see d2a66d4, f197f2a), and you can see them here: https://jeff65.readthedocs.io/en/master-ocaml/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation-related concerns
Projects
None yet
Development

No branches or pull requests

1 participant