To see the changes you make to the documentation in a web browser, follow these steps:
In a terminal at the root of this repository, run:
python tools/fetch_source_files.py develop
pip install pipenv
pipenv install --dev
pipenv shell
pipenv run python tools/setup_generation.py
pipenv run mkdocs serve
This will launch a web server with the local documentation. Everytime you save a file, the server will automatically relaunch the web server so you can see your changes.