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

Hosted documentation #50

Open
detly opened this issue Sep 3, 2020 · 2 comments
Open

Hosted documentation #50

detly opened this issue Sep 3, 2020 · 2 comments
Assignees

Comments

@detly
Copy link

detly commented Sep 3, 2020

I'd like to be able to read the API documentation somewhere on the web, so I don't have to install Sphinx, Breathe, themes, etc. and set up a local webserver. Could it be put up on eg. readthedocs or as Github pages or somewhere similar?

@tomghuang tomghuang self-assigned this Sep 4, 2020
@tomghuang
Copy link
Contributor

Hi @detly, I'm currently changing the whole documentation system. My plan is to upload the generated documentation to the official website, so that developers can always browse the latest API reference whenever we commit document modifications.

I'm also trying to figure out how to automatically download all the necessary tools to a local, sub-directory under the repository, and generate the documents with these tools, even when you already have these tools installed in the system. It is very useful when we need version X of a tool while the system has version Y. With this mechanism, we can guarantee that we always use the right toolchain to generate documents.

@detly
Copy link
Author

detly commented Sep 4, 2020

That sounds great, I'll wait for that then.

I'm also trying to figure out how to automatically download all the necessary tools to a local, sub-directory

Could be a job for Docker.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants