Reorganize documentation into Sphinx
Currently, we have all documentation in a docs/ directory. This PR moves the documents into Sphinx to generate a documentation website, which has several advantages:
- More structured and clearer organization
- More extensible
- Better search functionality
- Automatic code documentation from docstrings
- Easier to navigate on mobile
We can host this on GitHub Pages or ReadTheDocs.
https://github.com/OpenDevin/OpenDevin/pull/1372 seems to overlap with this effort?
C.C. @Sparkier
@Sparkier just realized I missed your PR because I started implementing this earlier. Do you have any strong opinions?
I lean towards Sphinx to automatically generate code documentation from Python docstrings, and for integration w/ Python tooling in general.
Hey, I started a slack thread since this is a bigger decision. Hope that's ok with you.
Closing in favor of #1372