To make the online documentation, type
make documentation
To see the documentation, use your browser to open the file
documentation/index.html
To make the pdf version of this manual, type
make manual-pdf