Building This WebsiteΒΆ
This website is built using MkDocs and hosted on Github Pages. Building and deploying the documentation will require a little bit of setup.
- Run
pip install --user mkdocs
to obtain MkDocs. - Run
pip install --user python-markdown-math
to obtain the markdown extension that allows LaTeX-style math. - Edit the documentation in the
docs/
directory. - Run
mkdocs serve
and navigate your web browser to http://127.0.0.1:8000 to check that everything looks correct. - Commit all your changes.
- Run
mkdocs gh-deploy
to deploy the new documentation to Github Pages.