Building documentation

Here we see how to build the documentation.