To build the documentation, simply type make