AIOS documentation

Build the docs

# Install dependencies.
pip install -r requirements-docs.txt

# Build the docs.
make clean
make html

Open the docs with your browser

python -m http.server -d build/html/

Launch your browser and open localhost:8000.

Guides of how to write the docs

We use the readthedocs to build documentation, the guideline is here. The theme we used is spinx-book.