openworm / openworm_docs

Documentation for OpenWorm, i.e. docs.openworm.org
http://docs.openworm.org
44 stars 27 forks source link

website not updated from this repo #64

Closed casperdcl closed 3 years ago

casperdcl commented 5 years ago

from https://github.com/openworm/openworm_docs/issues/32#issuecomment-545651539

Surely

http://docs.openworm.org/en/latest/Community/repositories/

should be the same as readthedocs set up by @mwatts15

https://dev-openworm-docs.readthedocs.io/en/latest/Community/repositories/

As of now, docs.openworm.org does not seem to reflect the state of this repo at all.

Also, how is the root openworm.org site (without the docs prefix) being built?

mwatts15 commented 5 years ago

The website is a served by Github Pages.

casperdcl commented 5 years ago

ah so the root site is https://github.com/openworm/openworm.github.io - but what about the docs subdomain?

mwatts15 commented 5 years ago

@casperdcl https://openworm.readthedocs.io/en/latest/

casperdcl commented 5 years ago

ok, and how is that updated? is there a repo somewhere?

casperdcl commented 5 years ago

NB #60 would make this issue redundant (i.e. it would fix this issue)

mwatts15 commented 3 years ago

docs.openworm.org is now serving the site built by the mkdocs Github Action.