Generating the documentation

To generate the documentation, you first have to build it. You don't have to commit the built documentation.