Making the TONTO html documentation

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
Note that you will need the docbook suite of programs to do this.