Mypy Documentation

What's this?

This directory contains the source code for Mypy documentation (under source/) and build scripts. The documentation uses Sphinx and reStructuredText.

Building the documentation

We use sphinx_rtd_theme as the theme. You should install it first:

$ pip install sphinx_rtd_theme

Build the documentation like this:

$ make html