Install Sphinx and Theme
# In the project root
pip install -e .[docs]Build the documentation
# In docs/
make htmlStart a server to watch changes
# In docs/
sphinx-autobuild ./source ./build/htmlFor github links for the time being must double check they link the right branch/commit
# In docs/
python generate_task_docs.py# In docs/
# generate all robot docs
python generate_robot_docs.py
# update just one robot's documentation
python generate_robot_docs.py robot_uid